Author(s): W.W. Boone, F.B. Cannonito and R.C. Lyndon (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 71
Publisher: North-Holland
Year: 1973
Language: English
Pages: iii-v, ix-xii, 1-64
Content:
Edited by
Page iii
Copyright page
Page iv
Dedication
Page v
Introduction
Pages ix-xii
William W. Boone, Frank B. Cannonito, Roger C. Lyndon
A Proof of Higman's Embedding Theorem Using Britton Extensions of Groups Original Research Article
Pages 1-18
StГҐl Aanderaa
Burnside Groups of Odd Exponent and Irreducible Systems of Group Identities Original Research Article
Pages 19-37
S.I. Adjan
Construction of a Non-Solvable Group of Exponent 5 Original Research Article
Pages 39-66
S. Bachmuth, H.Y. Mochizuki, D.W. Walkup
The Existence of Infinite Burnside Groups Original Research Article
Pages 67-68
J.L. Britton
CHAPTER I Generalized Tartakovskii Groups
Pages 69-109
CHAPTER II Burnside Groups
Pages 110-348
The Algebraic Invariance of the Word Problem in Groups Original Research Article
Pages 349-364
F.B. Cannonito
The Computability of Group Constructions, Part I Original Research Article
Pages 365-400
F.B. Cannonito, R.W. Gatterdam
The Word, Power and Order Problems in Finitely Presented Groups Original Research Article
Pages 401-420
Donald J. Collins
The Higman Theorem for Primitive-Recursive Groups - A Preliminary Report Original Research Article
Pages 421-425
R.W. Gatterdam
Connections Between Topological and Group Theoretical Decision Problems Original Research Article
Pages 427-441
Wolfgang Haken
On the Word Problem and T-Fourth-Groups Original Research Article
Pages 443-451
Seymour Lipschutz
On a Conjecture of W. Magnus Original Research Article
Pages 453-456
James McCool, Alfred Pietrowski
An Elementary Construction of Unsolvable Word Problems in Group Theory Original Research Article
Pages 457-478
Ralph McKenzie, Richard J. Thompson
A Non-Enumerability Theorem for Infinite Classes of Finite Structures Original Research Article
Pages 479-481
T.G. McLaughlin
Some Connections between Hilberts 10th Problem and the Theory of Groups Original Research Article
Pages 483-506
Charles F. Miller III
Decision Problems in Algebraic Classes of Groups (A Survey) Original Research Article
Pages 507-523
Ch. F. Miller III
Uniform Algorithms for Deciding Group-Theoretic Problems Original Research Article
Pages 525-551
A. Wlodzimierz Mostowski
The Isomorphism Problem for Algebraically Closed Groups Original Research Article
Pages 553-562
B.H. Neumann
Equations Over Groups Original Research Article
Pages 563-567
Helmut Schiek
A Survey of Small Cancellation Theory Original Research Article
Pages 569-589
Paul E. Schupp
The Associativity Problem for Monoids and the Word Problem for Semigroups and Groups Original Research Article
Pages 591-607
Dov Tamari
Maximal Models and Refutation Completeness: Semidecision Procedures in Automatic Theorem Proving Original Research Article
Pages 609-639
Lawrence Wos, George Robinson
Problems
Pages 641-646
