LEADER 04654nam  22013215  450 
001 9910154751403321
005 20190708092533.0
010   $a1-4008-8178-1
024 7 $a10.1515/9781400881789
035   $a(CKB)3710000000620162
035   $a(MiAaPQ)EBC4738582
035   $a(DE-B1597)467981
035   $a(OCoLC)979970559
035   $a(DE-B1597)9781400881789
035   $a(EXLCZ)993710000000620162
100   $a20190708d2016      fg              
101 0 $aeng
135   $aurcnu||||||||
181   $2rdacontent
182   $2rdamedia
183   $2rdacarrier
200 10$aOn Group-Theoretic Decision Problems and Their Classification. (AM-68), Volume 68 /$fCharles F. Miller
210  1$aPrinceton, NJ : $cPrinceton University Press, $d[2016]
210  4$dİ1972
215   $a1 online resource (121 pages)
225 0 $aAnnals of Mathematics Studies ;$v242
311   $a0-691-08091-7 
320   $aIncludes bibliographical references and index.
327   $tFrontmatter -- $tPREFACE -- $tCONTENTS -- $tCHAPTER I. INTRODUCTION -- $tCHAPTER II. PROPERTIES OF BRITTON EXTENSIONS -- $tCHAPTER III. UNSOLVABILITY RESULTS FOR RESIDUALLY FINITE GROUPS -- $tCHAPTER IV. THE WORD AND CONJUGACY PROBLEMS FOR CERTAIN ELEMENTARY GROUPS -- $tCHAPTER V. ON THE ISOMORPHISM PROBLEM FOR GROUPS -- $tLIST OF REFERENCES -- $tINDEX OF SYMBOLS -- $tINDEX
330   $aPart 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.
410  0$aAnnals of mathematics studies ;$vNumber 68.
606   $aGroup theory
606   $aLogic, Symbolic and mathematical
610   $aAbelian group.
610   $aBetti number.
610   $aCharacteristic function (probability theory).
610   $aCharacterization (mathematics).
610   $aCombinatorial group theory.
610   $aConjecture.
610   $aConjugacy class.
610   $aConjugacy problem.
610   $aContradiction.
610   $aCorollary.
610   $aCyclic permutation.
610   $aDecision problem.
610   $aDiffeomorphism.
610   $aDirect product.
610   $aDirect proof.
610   $aEffective method.
610   $aElementary class.
610   $aEmbedding.
610   $aEnumeration.
610   $aEpimorphism.
610   $aEquation.
610   $aEquivalence relation.
610   $aExact sequence.
610   $aExistential quantification.
610   $aFinite group.
610   $aFinite set.
610   $aFinitely generated group.
610   $aFinitely presented.
610   $aFree group.
610   $aFree product.
610   $aFundamental group.
610   $aFundamental theorem.
610   $aGroup (mathematics).
610   $aGroup theory.
610   $aGödel numbering.
610   $aHomomorphism.
610   $aHomotopy.
610   $aInner automorphism.
610   $aMarkov property.
610   $aMathematical logic.
610   $aMathematical proof.
610   $aMathematics.
610   $aMonograph.
610   $aNatural number.
610   $aNilpotent group.
610   $aNormal subgroup.
610   $aNotation.
610   $aPermutation.
610   $aPolycyclic group.
610   $aPresentation of a group.
610   $aQuotient group.
610   $aRecursive set.
610   $aRequirement.
610   $aResidually finite group.
610   $aSemigroup.
610   $aSimple set.
610   $aSimplicial complex.
610   $aSolvable group.
610   $aStatistical hypothesis testing.
610   $aSubgroup.
610   $aTheorem.
610   $aTheory.
610   $aTopology.
610   $aTransitive relation.
610   $aTriviality (mathematics).
610   $aTruth table.
610   $aTuring degree.
610   $aTuring machine.
610   $aWithout loss of generality.
610   $aWord problem (mathematics).
615  0$aGroup theory.
615  0$aLogic, Symbolic and mathematical.
676   $a512/.2
700   $aMiller$b Charles F., $055992
801  0$bDE-B1597
801  1$bDE-B1597
906   $aBOOK
912   $a9910154751403321
996   $aOn Group-Theoretic Decision Problems and Their Classification. (AM-68), Volume 68$92787933
997   $aUNINA