Scott complexity of trees of finite rank via degrees of categoricity
In earlier work \cite{Mah19}, the first author constructed, for each finite $m\geq 1$, a computable tree $\A_{m+1}$ of rank $m+1$ whose strong degree of categoricity is $\mathbf{0}^{(2m)}$, and showed this degree is optimal at each rank. Those results are lightface: they concern Turing degrees of isomorphisms between computable copies. In this paper we determine the boldface content of the construction. We isolate a transfer principle: a degree-of-categoricity lower bound that holds uniformly relative to every oracle defeats $L_{ω_1ω}$-definability of automorphism orbits outright. We verify…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.27151
curl -X POST /api/v1/records/arxiv/2606.27151/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.27151/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'