Scott Analysis below the Vaught Ordinal

Abstract

We develop new tools for determining the existence of models of specific Scott ranks under countability conditions. Using these, we improve a result of Sacks by showing that any counterexample to Vaught's conjecture must have at least two models of every parameterized Scott rank -- a result that contrasts with the unparameterized case, where minimal counterexamples have only one model at many ranks. We further prove that theories with fewer than continuum many models have trivial Scott spectra and provide a general, systematic classification of low Scott rank models when only countably many $Σ_α$-types are realized. Additionally, we classify the Scott complexity spectra for many Ehrenfeucht theories, and prove the $ω$-Vaught's conjecture in this setting, answering an infinitary strengthening of a question of Pillay and Tanović. We demonstrate that the Scott complexity of prime models for $ω$-stable first-order theories is commensurate with the complexity of the theory itself. Along the way, we apply our methods to concrete theories like p-groups, trees, and Boolean algebras, answering questions of Harris--Montalbán and Alvir--Csima--MacLean regarding specific structures.