Word Problems: Decision Problems and the Burnside Problem in Group Theory

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