{"id":"arxiv/2610.09314","url":"https://arxiv.org/abs/2610.09314","tags":["math.LO"],"score":0,"title":"The Type $ω$-Vaught's Conjecture for $ω$-stable Theories","domain":"math.LO","source":"arxiv","authors":["Hongyu Zhu"],"reviews":0,"subject":"math.LO","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-07","reactions":{}}