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