Ershov, Yu. L. Unsolvability of theories of symmetric and simple finite groups. (English. Russian original) Zbl 0199.03004 Sov. Math., Dokl. 5, 1309-1311 (1964); translation from Dokl. Akad. Nauk SSSR 158, 777-779 (1964). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 5 Documents Keywords:recursion theory, constructive mathematics × Cite Format Result Cite Review PDF