Kurepa trees and spectra of Lω1,ω-sentences
We use set-theoretic tools to make a model-theoretic contribution. In particular, we construct a \emph{single} Lω1,ω-sentence ψ that codes Kurepa trees to prove the consistency of the following: (1) The spectrum of ψ is consistently equal to [ℵ0,ℵω1] and also consistently equal to [ℵ0,2ℵ1), where 2ℵ1 is weakly inaccessible. (2) The amalgamation spectrum of ψ is consistently equal to [ℵ1,ℵω1] and [ℵ1,2ℵ1), where again 2ℵ1 is weakly inaccessible. This is the first example of an Lω1,ω-sentence whose spectrum and amalgamation spectrum are consistently both right-open and right-closed. It also provides a positive answer to a question in [18]. (3) Consistently, ψ has maximal models in finite, countable, and uncountable many cardinalities. This complements the examples given in [1] and [2] of sentences with maximal models in countably many cardinalities. (4) 2ℵ0<ℵω1<2ℵ1 and there exists an Lω1,ω-sentence with models in ℵω1, but no models in 2ℵ1. This relates to a conjecture by Shelah that if ℵω1<2ℵ0, then any Lω1,ω-sentence with a model of size ℵω1 also has a model of size 2ℵ0. Our result proves that 2ℵ0 can not be replaced by 2ℵ1, even if 2ℵ0<ℵω1.
