Kurepa trees and spectra of ${\mathcal{L}}_{{\omega }_1,\omega }$-sentences

Dima Sinapova, Ioannis Souldatos

We use set-theoretic tools to make a model-theoretic contribution. In particular, we construct a \emph{single} ${\mathcal{L}}_{{\omega }_1,\omega }$-sentence $\psi$ that codes Kurepa trees to prove t…