Scott Analysis below the Vaught Ordinal
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.15205
curl -X POST /api/v1/records/arxiv/2606.15205/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.15205/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'