Turing machine computations in finitely axiomatizable theories

Abstract

LITERATURE CITED I. B. M. Veretennikov and A. A. Makhnev, "Finite groups with restricted centralizer of involution," Dep. VINITI No. 1046-81. 2. A. S. Konrat'ev, "Finite simple groups, whose Sylow 2-subgroup is an extension of an Abelian group by a group of rank i," Algebra Logika, 14, No. 3, 288-303 (1975). 3. A. A. Makhnev, "Finite groups with centralizer of order 6," Algebra Logika, 16, No. 4, 432-442 (1977). 4. A. A. Makhnev, "Generation of finite groups by classes of involutions," Mat. Sb., iii, No. 2, 266-278 (1980). 5. S. A. Syskin,"Centralizers of 2-subgroups in finite groups," Algebra Logika, 17, No. 3, 316-354 (1978). 6. N. K. Dickson, "Groups with dihedral 3-normalizers of order 4k, i," J. Algebra, 54, No. 2, 390-409 (1978). 7. D. M. Goldschmidt. "2-fusion in finite groups," Ann. Math., 99, No. i, 70-117 (1974). 8. R. L. Griess, D. R. Mason, and G. M. Seitz, "Bender groups as standard subgroups," Trans. Am. Math. Soc., 238, 179-212 (1978). 9. G. Higman, "Odd characterizations of finite simple groups," Univ. of Michigan (1968). i0. J. H. Walter, "The characterization of finite groups with abelian Sylow 2-subgroups," Ann. Math., 89, No. 3, 405-514 (1969).