TY - BOOK ID - 87158 TI - On group-theoretic decision problems and their classification PY - 1971 VL - 68 SN - 0691080917 1400881781 9780691080918 PB - Princeton : Princeton University Press, DB - UniCat KW - Group theory KW - 510.6 KW - Mathematical logic KW - 510.6 Mathematical logic KW - Group theory. KW - Logic, Symbolic and mathematical. KW - Groupes, Théorie des KW - Groups, Theory of KW - Substitutions (Mathematics) KW - Algebra KW - Algebra of logic KW - Logic, Universal KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Abelian group. KW - Betti number. KW - Characteristic function (probability theory). KW - Characterization (mathematics). KW - Combinatorial group theory. KW - Conjecture. KW - Conjugacy class. KW - Conjugacy problem. KW - Contradiction. KW - Corollary. KW - Cyclic permutation. KW - Decision problem. KW - Diffeomorphism. KW - Direct product. KW - Direct proof. KW - Effective method. KW - Elementary class. KW - Embedding. KW - Enumeration. KW - Epimorphism. KW - Equation. KW - Equivalence relation. KW - Exact sequence. KW - Existential quantification. KW - Finite group. KW - Finite set. KW - Finitely generated group. KW - Finitely presented. KW - Free group. KW - Free product. KW - Fundamental group. KW - Fundamental theorem. KW - Group (mathematics). KW - Gödel numbering. KW - Homomorphism. KW - Homotopy. KW - Inner automorphism. KW - Markov property. KW - Mathematical logic. KW - Mathematical proof. KW - Mathematics. KW - Monograph. KW - Natural number. KW - Nilpotent group. KW - Normal subgroup. KW - Notation. KW - Permutation. KW - Polycyclic group. KW - Presentation of a group. KW - Quotient group. KW - Recursive set. KW - Requirement. KW - Residually finite group. KW - Semigroup. KW - Simple set. KW - Simplicial complex. KW - Solvable group. KW - Statistical hypothesis testing. KW - Subgroup. KW - Theorem. KW - Theory. KW - Topology. KW - Transitive relation. KW - Triviality (mathematics). KW - Truth table. KW - Turing degree. KW - Turing machine. KW - Without loss of generality. KW - Word problem (mathematics). KW - Groupes, Théorie des KW - Décidabilité (logique mathématique) UR - https://www.unicat.be/uniCat?func=search&query=sysid:87158 AB - Part exposition and part presentation of new results, this monograph deals with that area of mathematics which has both combinatorial group theory and mathematical logic in common. Its main topics are the word problem for groups, the conjugacy problem for groups, and the isomorphism problem for groups. The presentation depends on previous results of J. L. Britton, which, with other factual background, are treated in detail. ER -