Beschreibung:
This second volume contains introductions to real-valued logic and applications, abstract elementary classes and applications, interconnections between model theory and function spaces, nonstucture theory, and model theory of second-order logic.
I. Real-Valued Structures and Applications. 1. Metastable Convergence and Logical Compactness. 2. Model Theory for Real-Valued Structures. 3. Spectral Gap and Definability. II. Abstract Elementary Classes and Applications. 4. Lf groups, AEC amalgamation, few automorphisms. III. Model Theory and Topology of Spaces of Functions. 5. Cp-Theory for Model Theorists. IV. Constructing Many Models. 6. General Non-Structure Theory. V. Model Theory of Second Order Logic. 7. Model Theory of Second Order Logic.