Turing degrees of isomorphism types of geometric objects

Authors:
  • WCWesley Calvert
    Wesley Calvert
  • VHValentina Harizanov
    Valentina Harizanov
  • ASAlexandra Shlapentokh
    Alexandra Shlapentokh

Abstract
The Turing degree spectrum of a countable structure $\mathcal{A}$ is the set of all Turing degrees of isomorphic copies of $\mathcal{A}$. The Turing degree of the isomorphism type of $\mathcal{A}$, if it exists, is the least Turing degree in its degree spectrum. We show there are countable ringed spaces and schemes whose isomorphism types have arbitrary Turing degrees. We also show that there are structures in each of these classes whose isomorphism types do not have Turing degrees.