Books

> Lecture Notes in Logic
   Perspectives in Logic

   Other ASL Books

   Member Discounts

  


Available LNL volumes

 Ordering

 Editorial Policies

 Submission information

 Editorial Board

 

 

 

 

 

 

 

 

 

 

 

 

Lecture Notes in Logic, 46

Lectures on Infinitary Model Theory

 

David Marker

 

 

 

 

Year: 2016
Price:$100.00 ISBN-13: 9781316859605
183 pages. Hardcover.
BUY NOW
(when ordering, include the discount code ASL2016 to receive the 25% ASL member discount)

Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introduction to the subject in forty years, and will bring students and researchers in all areas of mathematical logic up to the threshold of modern research. The classical topics of back-and-forth systems, model existence techniques, indiscernibles and end extensions are covered before more modern topics are surveyed. Zilber's categoricity theorem for quasiminimal excellent classes is proved and an application is given to covers of multiplicative groups. Infinitary methods are also used to study uncountable models of counterexamples to Vaught's conjecture, and effective aspects of infinitary model theory are reviewed, including an introduction to Montalbán's recent work on spectra of Vaught counterexamples. Self-contained introductions to effective descriptive set theory and hyperarithmetic theory are provided, as is an appendix on admissible model theory.

Table of Contents
Introduction
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.

 

<Back to LNL titles listing




 

 


[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]