A Reduction of the Open Sentence Problem for Finite Groups
Publication:3882617
DOI10.1112/blms/13.4.331zbMath0441.20002OpenAlexW2077445397MaRDI QIDQ3882617
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
residually finite groupsfinite symmetric groupsunsolvable word problemuniversal theory of finite groupsequation problemmodel of the theory of finite groups
Applications of logic to group theory (20A15) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Models of other mathematical theories (03C65) General theory for finite permutation groups (20B05) Metamathematical considerations in group theory (20A10)
Related Items
This page was built for publication: A Reduction of the Open Sentence Problem for Finite Groups