×

zbMATH — the first resource for mathematics

Groups with a finite number of constructivizations. (English. Russian original) Zbl 0496.20021
Sov. Math., Dokl. 23, 58-61 (1981); translation from Dokl. Akad. Nauk SSSR 256, 269-272 (1981).

MSC:
20F10 Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
20A10 Metamathematical considerations in group theory
03D45 Theory of numerations, effectively presented structures
03D50 Recursive equivalence types of sets and structures, isols
20A15 Applications of logic to group theory
PDF BibTeX XML Cite