Year: 2026
Type: preprint
Abstract: We propose a new variant of Vaught's conjecture, based on Martin's (model-theoretic) conjecture and the $ω$-Vaught's conjecture of Gonzalez and Montalbán. For $ω$-stable theories, we prove the conjecture by analyzing in detail Bouscaren's and Shelah-Harrington-Makkai's proofs of Martin's conjecture and Vaught's conjecture, respectively, for $ω$-stable theories. In particular, when there are countably many countable models, we improve the required number of quantifiers for a Scott sentence from $ω+ω$ to $ω+5$, and we obtain a similar bound of $ω+6$ for the uncountable case.
Source: arXiv (Cornell University)
Author: Zhu, Hongyu
Institution: University of Wisconsin–Madison
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7220916947