Description
Book SynopsisThis book is the first modern introduction to the logic of infinitary languages in forty years, and is aimed at graduate students and researchers in all areas of mathematical logic. Connections between infinitary model theory and other branches of mathematical logic, and applications to algebra and algebraic geometry are both comprehensively explored.
Table of ContentsIntroduction; Part I. Classical Results in Infinitary Model Theory: 1. Infinitary languages; 2. Back and forth; 3. The space of countable models; 4. The model existence theorem; 5. Hanf numbers and indiscernibles; Part II. Building Uncountable Models: 6. Elementary chains; 7. Vaught counterexamples; 8. Quasinimal excellence; Part III. Effective Considerations: 9. Effective descriptive set theory; 10. Hyperarithmetic sets; 11. Effective aspects of Lω1,ω; 12. Spectra of Vaught counterexamples; Appendix A. N1-free abelian groups; Appendix B. Admissibility; References; Index.
