{"id":"arxiv/2602.11432","url":"https://arxiv.org/abs/2602.11432","tags":["math.LO"],"score":0,"title":"Categoricity and non-arithmetic Fuchsian groups","domain":"math.LO","source":"arxiv","authors":["John Baldwin","Joel Nagloo"],"reviews":0,"subject":"math.LO","summary":"Let $Γ\\subset PSL_2(\\mathbb{R})$ be a non-arithmetic Fuchsian group of the first kind with finite covolume, and let $j_Γ$ be a corresponding uniformizer. In this paper we introduce a natural $L_{ω_1,ω}$-axiomatization $T^{\\infty}_{SF}$ of the theory of $j_Γ$ viewed as a covering map. We show that $T^{\\infty}_{SF}$ is categorical in all infinite cardinalities, extending to the non-arithmetic setting earlier results of Daw and Harris obtained in the arithmetic case. We also show that the associated first-order theory $T_{j_Γ}$ is complete, admits elimination of quantifiers, and is $ω$-stable.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-11","reactions":{}}