A Reduction of the Open Sentence Problem for Finite Groups

DOI10.1112/BLMS/13.4.331MaRDI QIDQ3882617zbMATH OpenOpenAlexFDO

Authors 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

equation problemfinite symmetric groupsmodel of the theory of finite groupsresidually finite groupsuniversal theory of finite groupsunsolvable word problem

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Metamathematical considerations in group theory (20A10) Applications of logic to group theory (20A15) General theory for finite permutation groups (20B05) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Cited in

(3)

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

This page was built for publication: A Reduction of the Open Sentence Problem for Finite Groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3882617)