UID:
almahu_9947368110502882
Format:
1 online resource (659 p.)
ISBN:
1-283-52529-1
,
9786613837745
,
0-08-095482-0
Series Statement:
Studies in logic and the foundations of mathematics ; v. 71
Content:
Provability, Computability and Reflection
Note:
"This volume grew out of the conference 'Decision problems in group theory', (CODEP) held at the University of California, Irvine, in September 1969"--P. ix.
,
Front Cover; Word Problems: Decision Problems and the Burnside Problem in Group Theory; Copyright Page; List of Contents; Introduction; Chapter 1. A proof of Higman's embedding theorem, using Britton extension of groups; Chapter 2. Burnside groups of odd exponent and irreducible systems of group identities; Chapter 3. Construction of a non-solvable group of exponent 5; Chapter 4. The existence of infinite Burnside groups; Chapter 5. The algebraic invariance of the word problem in groups; Chapter 6. The computability of group constructions, part I
,
Chapter 7. The word, power and order problems in finitely presented groupsChapter 8. The Higman theorem for primitive-recursive groups - A preliminary report; Chapter 9. Connections between topological and group theoretical decision problems; Chapter 10. On the word problems and T-fourth-groups; Chapter 11. On a conjecture of W. Magnus; Chapter 12. An elementary construction of unsolvable word problems in group theory; Chapter 13. A non-enumerability theorem for infinite classes of finite structures; Chapter 14. Some connections between Hilbert's 10th problem and the theory of groups
,
Chapter 15. Decision problems in algebraic classes of groups (a survey)Chapter 16. Uniform algorithms for deciding group-theoretic problems; Chapter 17. The isomorphism problem for algebraically closed groups; Chapter 18. Equations over groups; Chapter 19. A survey of small cancellation theory; Chapter 20. The associativity problem for monoids and the word problem for semigroups and groups; Chapter 21. Maximal models and refutation completeness: semidecision procedures in automatic theorem Proving; Problems
,
English
Additional Edition:
ISBN 0-7204-2271-X
Language:
English
Bookmarklink