M. Mahmoud

$\omega_1$-anchored labels in minimal counterexamples to Vaught's conjecture: a per-witness trichotomy and an unconditional stationary dichotomy

Let $\varphi$ be a minimal counterexample to Vaught's conjecture in the sense of Montalban; such a $\varphi$ exists if Vaught's conjecture fails, by Steel and Harnik-Makkai. We bring into contact, at the level of statements, two bodies of work on the models of such a $\varphi$: the analysis of Gonzalez-Rossegger-Turets...