English

Degree spectra for transcendence in fields

Logic 2019-08-20 v1

Abstract

We show that for both the unary relation of transcendence and the finitary relation of algebraic independence on a field, the degree spectra of these relations may consist of any single computably enumerable Turing degree, or of those c.e. degrees above an arbitrary fixed Δ20\Delta^0_2 degree. In other cases, these spectra may be characterized by the ability to enumerate an arbitrary Σ20\Sigma^0_2 set. This is the first proof that a computable field can fail to have a computable copy with a computable transcendence basis.

Keywords

Cite

@article{arxiv.1903.09882,
  title  = {Degree spectra for transcendence in fields},
  author = {Iskander Kalimullin and Russell Miller and Hans Schoutens},
  journal= {arXiv preprint arXiv:1903.09882},
  year   = {2019}
}
R2 v1 2026-06-23T08:17:12.233Z