Undecidability of the theories of symmetric and simple finite groups
Doklady Akademii Nauk, Tome 158 (1964) no. 4, pp. 777-779
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1964_158_4_a5,
author = {Yu. L. Ershov},
title = {Undecidability of the theories of symmetric and simple finite groups},
journal = {Doklady Akademii Nauk},
pages = {777--779},
publisher = {mathdoc},
volume = {158},
number = {4},
year = {1964},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1964_158_4_a5/}
}
Yu. L. Ershov. Undecidability of the theories of symmetric and simple finite groups. Doklady Akademii Nauk, Tome 158 (1964) no. 4, pp. 777-779. http://geodesic.mathdoc.fr/item/DAN_1964_158_4_a5/