Exam (elaborations)
Fundamentals of Model Theory
- Course
- Institution
Contents Chapter 0. Models, Truth and Satisfaction 4 Formulas, Sentences, Theories and Axioms 4 Prenex Normal Form 9 Chapter 1. Notation and Examples 11 Chapter 2. Compactness and Elementary Submodels 14 The Compactness Theorem 14 Isomorphisms, elementary equivalence and complete theories 15...
[Show more]