Basic Model Theory

Title ......Page 3
Copyright ......Page 4
Contents ......Page 5
Introduction ......Page 7
1 Basic Notions ......Page 9
2.1 Isomorphism and Equivalence ......Page 19
2.2 (Elementary) Submodels ......Page 21
3.1 Finite Games ......Page 29
3.2 The Meaning of the Game ......Page 35
3.3 Applications ......Page 42
3.4 The Infinite Game ......Page 52
4.1 Compactness ......Page 59
4.2 Diagrams ......Page 63
4.3 Ultraproducts ......Page 68
4.4 Omitting Types ......Page 74
4.5 Saturation ......Page 80
4.6 Recursive Saturation ......Page 83
4.7 Applications ......Page 90
A Deduction and Completeness ......Page 101
A.1 Rules of Natural Deduction ......Page 102
A.2 Soundness ......Page 108
A.3 Completeness ......Page 109
B.2 Notations ......Page 117
B.3 Orderings ......Page 118
B.4 Ordinals ......Page 119
B.7 Inductive Definitions ......Page 120
B.8 Ramsey's Theorem ......Page 123
B.9 Games ......Page 124
Bibliography ......Page 127
Name Index ......Page 131
Subject Index ......Page 133
Notation ......Page 137