TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS.

The degree spectrum of a countable structure is the set of all Turing degrees of presentations of that structure. We show that every nonlow Turing degree lies in the spectrum of some differentially closed field (of characteristic 0, with a single derivation) whose spectrum does not contain the compu...

Descripción completa

Detalles Bibliográficos

Publicado en:	Journal of Symbolic Logic Vol. 82; no. 1; pp. 1 - 26
Autores principales:	Marker, David, Miller, Russell
Formato:	Artículo
Publicado:	Cambridge University Press Mar2017
Materias:	Spectrum analysis Turing (Computer program language) Differential fields Computable functions Differential operators
Acceso en línea:	Ver este registro en EBSCOhost