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 $\Sigma_\alpha$-types are realized. Additionally, we classify the Scott complexity spectra for many Ehrenfeucht theories, and prove the $\omega$-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 $\omega$-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.
From: Dino Rossegger [view email]
[v1]
Sat, 13 Jun 2026 09:00:33 UTC (37 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。