Maximal models up to the first measurable in ZFC

2021/11/02 by Baldwin, John T., Shelah, Saharon
#03C75 #03E55 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2111.01709

Abstract

Theorem: There is a \em complete sentence ϕ of L_ω1,ω such that ϕ has maximal models in a set of cardinals λ that is cofinal in the first measurable μ while ϕ has no maximal models in any χ≥ μ.

Related

• Hanf numbers for Extendibility and related phenomena
• Complete L_ω1,ω-Sentences with Maximal Models in Multiple Cardinalities
• Violating the Singular Cardinals Hypothesis Without Large Cardinals
• No Maximal Models from Looking Down
• Ideals, Cohen sets and consistent extensions of the Erdős-Dushnik-Miller Theorem