{"id":"arxiv/2609.04353","url":"https://arxiv.org/abs/2609.04353","tags":["math.DS","math.GR","math.LO"],"score":0,"title":"Medvedev degrees of SFTs on cocompact Fuchsian groups","domain":"math.DS","source":"arxiv","authors":["Sebastián Barbieri","Nicanor Carrasco-Vargas","Paul Toussaint"],"reviews":0,"subject":"math.DS","summary":"We prove that for any cocompact Fuchsian group the class of Medvedev degrees attained by subshifts of finite type is the class of $Π_1^0$ degrees. This result relies on the construction of a rigid hierarchical structure in a graph model of the hyperbolic plane, and on the fact that every such group admits a representation in $\\operatorname{PSL}_2(\\mathbb{R})$ such that the matrices in the image have coefficients that are computable real numbers.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-03","reactions":{}}