Scott spectral gaps for trees are bounded
Given a Borel class of trees, we show that there is a tree in that class whose Scott sentence is not too much more complicated than the definition of the class. In particular, if the class is definable by a $Π_α$ sentence, then there is a model of Scott rank at most $α+ 2$. This gives another proof-and one that does not require first proving Vaught's conjecture for trees-of the fact that trees are not faithfully Borel complete.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.07166
curl -X POST /api/v1/records/arxiv/2602.07166/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.07166/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'