A Reduction of the Open Sentence Problem for Finite Groups

DOI10.1112/blms/13.4.331zbMath0441.20002MaRDI QIDQ3882617

Verena Huber-Dyson

Publication date: 1981

Published in: Bulletin of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/blms/13.4.331

zbMATH Keywords

residually finite groups; finite symmetric groups; unsolvable word problem; universal theory of finite groups; equation problem; model of the theory of finite groups

Mathematics Subject Classification ID

20A15: Applications of logic to group theory

20F05: Generators, relations, and presentations of groups

20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)

03C65: Models of other mathematical theories

20B05: General theory for finite permutation groups

20A10: Metamathematical considerations in group theory

Related Items

On the Universal Theory of Torsion and Lacunary Hyperbolic Groups, Model theory of finite and pseudofinite groups, Model-theoretic and algorithmic questions in group theory