دانلود کتاب Continuous Model Theory. (AM-58), Volume 58

فهرست مطالب :

TABLE OF CONTENTS\nCHAPTER I: TOPOLOGICAL PRELIMINARIES\n 1.1 Notation\n 1.2 D-products\n 1.3 Compact Hausdorff spaces\n 1.4 Ordered spaces\n 1.5 D-limits\nCHAPTER II: CONTINUOUS LOGICS\n 2.1 Definition of a continuous logic\n 2.2 Formulas\n 2.3 Two-valued logic\n 2.4 Sets of connectives and quantifiers\n 2.5 Examples\n 2.6 Some existence theorems\nCHAPTER Ill: MODEL-THEORETIC PRELIMINARIES\n 3.1 Models\n 3.2 Truth values\n 3.3 The elementary topology\nCHAPTER IV: ELEMENTARILY EQUIVALENT MODELS\n 4.1 The extended theory of a model\n 4.2 Elementary extensions\n 4.3 The downward Löwenheim-Skolem theorem\nCHAPTER V: ULTRAPRODUCTS OF MODELS AND APPLICATIONS\n 5.1 The fundamental lemma\n 5.2 The compactness theorem\n 5.3 The upward Löwenheim-Skolem theorem\n 5.4 Good ultrafilters\n 5.5 Good ultra products\nCHAPTER VI: SPECIAL MODELS\n 6.1 Saturated models\n 6.2 Existence of special models\n 6.3 Universal models\n 6.4 Uniqueness of special models\n 6.5 Some consequences of the generalized continuum hypothesis\nCHAPTER VII: CLASSES PRESERVED UNDER ALGEBRAIC RELATIONS\n 7.1 The extended theory and order\n 7.2 Extensions of models and existential formulas\n 7.3 Homomorphisms and positive classes\n 7.4 Reduced products and conditional classes\nHISTORICAL NOTES\nBIBLIOGRAPHY\nINDEX OF SYMBOLS\nINDEX OF DEFINITIONS\nINDEX OF EXERCISES