{"id":"arxiv/2607.02870","url":"https://arxiv.org/abs/2607.02870","tags":["math.LO"],"score":0,"title":"The theory of the Ziegler degrees","domain":"math.LO","source":"arxiv","authors":["Rodney G. Downey","Steffen Lempp","Isabella Scott"],"reviews":0,"subject":"math.LO","summary":"The Ziegler degrees were introduced to characterize definability in group theory. In [JLSta], the authors show that the first order-theory of the Ziegler degrees (as a partial order) is undecidable. We improve this result, showing that the theory of the Ziegler degrees is bi-interpretable with true second-order arithmetic.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-03","reactions":{}}