Turing Degrees of Isomorphism Types of Geometric Objects
Wesley Calvert, Valentina Harizanov, Alexandra Shlapentokh · Computability · 2014
We initiate the computability-theoretic study of ringed spaces and schemes. In particular, we show that any Turing degree may occur as the least degree of an isomorphic copy of a structure of these kinds. We also show that these structures may fail t