Publication:4776061

zbMath0288.20052MaRDI QIDQ4776061

Charles F. III Miller

Publication date: 1973

Mathematics Subject Classification ID

20D10: Finite solvable groups, theory of formations, Schunck classes, Fitting classes, (pi)-length, ranks

20E34: General structure theorems for groups

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03B25: Decidability of theories and sets of sentences

20E06: Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations

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

03D40: Word problems, etc. in computability and recursion theory

20-02: Research exposition (monographs, survey articles) pertaining to group theory

Related Items

Undecidability of the submonoid membership problem for free nilpotent group of class $l\geqslant 2$ of sufficiently large rank, A finitely presented simple group with unsolvable conjugacy problem, Model-theoretic and algorithmic questions in group theory, Quasi-potency and cyclic subgroup separability., Positive elements and sufficient conditions for solvability of the submonoid membership problem for nilpotent groups of class two