Introduction to model theory and to the metamathematics of algebra. 2nd ed. (2nd print.). (With a preface by H. Jerome Keisler) (Q1115855)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Introduction to model theory and to the metamathematics of algebra. 2nd ed. (2nd print.). (With a preface by H. Jerome Keisler) |
scientific article |
Statements
Introduction to model theory and to the metamathematics of algebra. 2nd ed. (2nd print.). (With a preface by H. Jerome Keisler) (English)
0 references
1986
0 references
See the review of the first edition (1963) in Zbl 0118.253. In a preface to this second edition, H. J. Keisler surveys some directions which model theory has taken since the first edition appeared. At last, he comes to the résumé that... ``the methods developed in this book are still fruitful and continue to be of central importance in model theory.''
0 references
model theory
0 references
metamathematics of algebra
0 references
lower predicate calculus
0 references
algebraic theories
0 references
completeness
0 references
definability
0 references
ideals
0 references
varieties
0 references
