On Group-Theoretic Decision Problems and Their Classification. (AM-68), Volume 68

Contradiction, Conjecture, Fundamental group, Theory, Elementary class, Finitely generated group, Truth table, Finitely presented, Presentation of a group, Finite set, Nilpotent group, Finite group, Recursive set, Homomorphism, Quotient group, Exact sequence, Turing machine, Subgroup, Mathematical proof, Mathematical logic, Transitive relation, Corollary, Mathematics, Embedding, Equation, Requirement, Group theory, Homotopy, Solvable group, Combinatorial group theory, Direct product, Inner automorphism, Simplicial complex, Equivalence relation, Conjugacy problem, Cyclic permutation, Semigroup, Conjugacy class, Natural number, Normal subgroup, Decision problem, Residually finite group, Monograph, Polycyclic group, Abelian group, Epimorphism, Characterization (mathematics), Characteristic function (probability theory), Existential quantification, Word problem (mathematics), Permutation, Statistical hypothesis testing, Fundamental theorem, Free product, Markov property, Without loss of generality, Group (mathematics), Turing degree, Theorem, Diffeomorphism, Triviality (mathematics), Notation, Effective method, Gödel numbering, Topology, Enumeration, Free group, Direct proof, Simple set, Betti number