2 papers
math.LO2026
The theory of the Ziegler degrees
Rodney G. Downey, Steffen Lempp, Isabella Scott
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 orde…
math.LO2026
Comparing the Effective Content of Subshifts
Antonio Nakid Cordero, I. Scott
Motivated by Ziegler's computability-theoretic characterisation of finite absolute presentability between groups, we prove an analogous theorem in symbolic dynamics. We introduce t…