Studies in Logic and the Foundations of Mathematics | The Metamathematics of Algebraic Systems - Collected Papers: 1936–1967

select article Edited by
Full text access
Edited by
Page iii
View PDF
select article Copyright page
No access
Copyright page
Page iv
select article Dedication
No access
Dedication
Page v
select article Translator's Foreword
EditorialAbstract only
Translator's Foreword
B.F. Wells
Pages vii-x
select article Biographical Note
No access
Biographical Note
Pages xi-xii
select article Chapter 1 Investigations in the Realm of Mathematical Logic
Abstract only
Chapter 1 Investigations in the Realm of Mathematical Logic
Pages 1-14
select article Chapter 2 A General Method for Obtaining Local Theorems in Group Theory
Abstract only
Chapter 2 A General Method for Obtaining Local Theorems in Group Theory
Pages 15-21
select article Chapter 3 Representations of Models
Abstract only
Chapter 3 Representations of Models
Pages 22-26
select article Chapter 4 Quasiprimitive Classes of Abstract Algebras
Abstract only
Chapter 4 Quasiprimitive Classes of Abstract Algebras
Pages 27-31
select article Chapter 5 Subdirect Products of Models
Abstract only
Chapter 5 Subdirect Products of Models
Pages 32-36
select article Chapter 6 Derived Operations and Predicates
Abstract only
Chapter 6 Derived Operations and Predicates
Pages 37-43
select article Chapter 7 Classes of Models With an Operation of Generation
Abstract only
Chapter 7 Classes of Models With an Operation of Generation
Pages 44-50
select article Chapter 8 Defining Relations in Categories
Abstract only
Chapter 8 Defining Relations in Categories
Pages 51-55
select article Chapter 9 The Structural Characterization of Certain Classes of Algebras
Abstract only
Chapter 9 The Structural Characterization of Certain Classes of Algebras
Pages 56-60
select article Chapter 10 Certain Classes of Models
Abstract only
Chapter 10 Certain Classes of Models
Pages 61-65
select article Chapter 11 Model Correspondences
Abstract only
Chapter 11 Model Correspondences
Pages 66-94
select article Chapter 12 Regular Products of Models
Abstract only
Chapter 12 Regular Products of Models
Pages 95-113
select article Chapter 13 Small Models
Abstract only
Chapter 13 Small Models
Pages 114-118
select article Chapter 14 Free Solvable Groups
Abstract only
Chapter 14 Free Solvable Groups
Pages 119-123
select article Chapter 15 A Correspondence Between Rings and Groups
Abstract only
Chapter 15 A Correspondence Between Rings and Groups
Pages 124-137
select article Chapter 16 The Undecidability of the Elementary Theories of Certain Fields
Abstract only
Chapter 16 The Undecidability of the Elementary Theories of Certain Fields
Pages 138-146
select article Chapter 17 A Remark Concerning “the Undecidability of the Elementary Theories of Certain Fields” [XVI]
Abstract only
Chapter 17 A Remark Concerning “the Undecidability of the Elementary Theories of Certain Fields” [XVI]
Page 147
select article Chapter 18 Constructive Algebras. I
Abstract only
Chapter 18 Constructive Algebras. I
Pages 148-214
select article Chapter 19 The Undecidability of the Elementary Theory of Finite Groups
Abstract only
Chapter 19 The Undecidability of the Elementary Theory of Finite Groups
Pages 215-220
select article Chapter 20 Elementary Properties of Linear Groups
Abstract only
Chapter 20 Elementary Properties of Linear Groups
Pages 221-247
select article Chapter 21 The Effective Inseparability of the Set of Valid Sentences from the Set of Finitely Refutable Sentences in Several Elementary Theories
Abstract only
Chapter 21 The Effective Inseparability of the Set of Valid Sentences from the Set of Finitely Refutable Sentences in Several Elementary Theories
Pages 248-254
select article Chapter 22 Closely Related Models and Recursively Perfect Algebras
Abstract only
Chapter 22 Closely Related Models and Recursively Perfect Algebras
Pages 255-261
select article Chapter 23 Axiomatizable Classes of Locally Free Algebras of Various Types
Abstract only
Chapter 23 Axiomatizable Classes of Locally Free Algebras of Various Types
Pages 262-281
select article Chapter 24 Recursive Abelian Groups
Abstract only
Chapter 24 Recursive Abelian Groups
Pages 282-286
select article Chapter 25 Sets with Complete Numberings
Abstract only
Chapter 25 Sets with Complete Numberings
Pages 287-312
select article Chapter 26 Problems in the Theory of Classes of Models
Abstract only
Chapter 26 Problems in the Theory of Classes of Models
Pages 313-352
select article Chapter 27 Toward a Theory of Computable Families of Objects
Abstract only
Chapter 27 Toward a Theory of Computable Families of Objects
Pages 353-378
select article Chapter 28 Positive and Negative Numberings
Abstract only
Chapter 28 Positive and Negative Numberings
Pages 379-383
select article Chapter 29 Identical Relations in Varieties of Quasigroups
Abstract only
Chapter 29 Identical Relations in Varieties of Quasigroups
Pages 384-395
select article Chapter 30 Iterative Algebras and Post Varieties
Abstract only
Chapter 30 Iterative Algebras and Post Varieties
Pages 396-415
select article Chapter 31 A Few Remarks on Quasi Varieties of Algebraic Systems
Abstract only
Chapter 31 A Few Remarks on Quasi Varieties of Algebraic Systems
Pages 416-421
select article Chapter 32 Multiplication of Classes of Algebraic Systems
Abstract only
Chapter 32 Multiplication of Classes of Algebraic Systems
Pages 422-446
select article Chapter 33 Universally Axiomatizable Subclasses of Locally Finite Classes of Models
Abstract only
Chapter 33 Universally Axiomatizable Subclasses of Locally Finite Classes of Models
Pages 447-459
select article Chapter 34 Problems on the Border Between Algebra and Logic
Abstract only
Chapter 34 Problems on the Border Between Algebra and Logic
Pages 460-473
select article Bibliography
No access
Bibliography
Pages 474-488
select article Topic Table
Abstract only
Topic Table
Page 489
select article Index
Full text access
Index
Pages 490-494
View PDF

The Metamathematics of Algebraic Systems

Collected Papers: 1936–1967

Pages iii-xii, 1-494 (1971)

Actions for selected chapters