The Type $ω$-Vaught's Conjecture for $ω$-stable Theories
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.09314
curl -X POST /api/v1/records/arxiv/2610.09314/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.09314/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'