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…