{"id":"arxiv/2605.00697","url":"https://arxiv.org/abs/2605.00697","tags":["math.LO"],"score":0,"title":"Categoricity without Power","domain":"math.LO","source":"arxiv","authors":["Jun Le Goh","Chieu-Minh Tran"],"reviews":0,"subject":"math.LO","summary":"We prove an analogue of Morley's categoricity theorem where cardinality is replaced by the recursion-theoretic notion of arithmetic degree. We say that a complete arithmetically definable theory $T$ is $D$-categorical if any two arithmetically extendible models of $T$ of arithmetic degree $D$, considered over a common elementary submodel with arithmetical elementary diagram, are isomorphic over that submodel by an isomorphism which preserves the complexity of sets of degree $D$. Here an arithmetically extendible model means an elementary substructure of a model whose elementary diagram is…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-01","reactions":{}}