Model TheoryElsevier, 12.06.1990 - 649 Seiten Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst order logics. Model theoretic methods have also had a major impact on set theory, recursion theory, and proof theory. This new edition has been updated to take account of these changes, while preserving its usefulness as a first textbook in model theory. Whole new sections have been added, as well as new exercises and references. A number of updates, improvements and corrections have been made to the main text. |
Inhalt
1 | |
61 | |
Chapter 3 Further modeltheoretic constructions | 136 |
Chapter 4 Ultraproducts | 211 |
Chapter 5 Saturated and special models | 292 |
Chapter 6 More about ultraproducts and generalizations | 384 |
Chapter 7 Selected topics | 482 |
Historical notes | 603 |
623 | |
634 | |
641 | |
649 | |
Andere Ausgaben - Alle anzeigen
Häufige Begriffe und Wortgruppen
applications assume atomic axioms belongs Boolean algebras bounded called cardinal compact complete theory condition conjecture Consider consistent construction contains Corollary countable countable model define definition elementary elementary extension elements embedding equivalent example Exercise existential exists expansion extension fact filter finite finite subset formula function give given groups hence holds hypothesis implies indiscernibles induction infinite interpretation isomorphic Keisler language least Lemma Let Q limit logic mapping means method model 21 model complete model of power model theory natural Note notion obtain occur omits ordinal pair positive preserved proof proper Proposition Prove quantifiers rank realizes recursively saturated relation satisfies saturated models sentence sequence set of formulas set theory simple submodel Suppose Theorem true ultrafilter ultrapower uncountable union universe valued variables whence
Verweise auf dieses Buch
Reasoning About Knowledge Ronald Fagin,Joseph Y. Halpern,Yoram Moses,Moshe Vardi Eingeschränkte Leseprobe - 2004 |