Turing Degrees of Isomorphism Types of Geometric Objects

DOI10.3233/COM-140029zbMath1322.03027arXiv1106.2763MaRDI QIDQ5175619

Alexandra Shlapentokh, Wesley Calvert, Valentina S. Harizanov

Publication date: 24 February 2015

Published in: Computability (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1106.2763

zbMATH Keywords

varietiesisomorphism typesschemesTuring degreesringed spaces

Mathematics Subject Classification ID

Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Other Turing degree structures (03D28)