Abstract
This paper contains portions of Baldwin’s talk at the Set Theory and Model Theory Conference (Institute for Research in Fundamental Sciences, Tehran, October 2015) and a detailed proof that in a suitable extension of ZFC, there is a complete sentence of Lω1,ω that has maximal models in cardinals cofinal in the first measurable cardinal and, of course, never again.
Original language | English |
---|---|
Pages (from-to) | 437-464 |
Number of pages | 28 |
Journal | Archive for Mathematical Logic |
Volume | 61 |
Issue number | 3-4 |
DOIs | |
State | Published - May 2022 |
Bibliographical note
Publisher Copyright:© 2021, The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature.
Keywords
- Amalgamation
- Hanf numbers
- L
- Maximal models
- Measurable cardinals