{"id":"arxiv/2606.27151","url":"https://arxiv.org/abs/2606.27151","tags":["math.LO"],"score":0,"title":"Scott complexity of trees of finite rank via degrees of categoricity","domain":"math.LO","source":"arxiv","authors":["Mohammad Mahmoud","Mostafa Mirabi"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-25","reactions":{}}