Turing degrees of isomorphism types of geometric objects
Logic
2011-11-10 v2 Algebraic Geometry
Abstract
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 to have a least degree.
Keywords
Cite
@article{arxiv.1106.2763,
title = {Turing degrees of isomorphism types of geometric objects},
author = {Wesley Calvert and Valentina Harizanov and Alexandra Shlapentokh},
journal= {arXiv preprint arXiv:1106.2763},
year = {2011}
}
Comments
This version contains new introduction and corrections of minor errors