Zobrazeno 1 - 6
of 6
pro vyhledávání: '"03D45 (Primary) 03C57"'
Publikováno v:
Computing with Foresight and Industry: 15th Conference on Computability in Europe, CiE 2019, eds. F. Manea, B. Martin, D. Paulusma, & G. Primiero, Lecture Notes in Computer Science 11558 (Berlin: Springer-Verlag, 2019), 205--216
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 ab
Externí odkaz:
http://arxiv.org/abs/1903.09882
The study of automorphisms of computable and other structures connects computability theory with classical group theory. Among the noncomputable countable structures, computably enumerable structures are one of the most important objects of investiga
Externí odkaz:
http://arxiv.org/abs/1811.01224
Publikováno v:
Archive for Mathematical Logic 58 (2019) 3-4, 387--411
Several researchers have recently established that for every Turing degree $\boldsymbol{c}$, the real closed field of all $\boldsymbol{c}$-computable real numbers has spectrum $\{\boldsymbol{d}~:~\boldsymbol{d}'\geq\boldsymbol{c}"\}$. We investigate
Externí odkaz:
http://arxiv.org/abs/1807.07489
Autor:
Marker, David, Miller, Russell
Publikováno v:
Journal of Symbolic Logic 82 (2017) 1, 1-25
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 der
Externí odkaz:
http://arxiv.org/abs/1406.3637
Autor:
Victor Ocasio Gonzalez, Russell Miller
Publikováno v:
Archive for Mathematical Logic. 58:387-411
Several researchers have recently established that for every Turing degree $\boldsymbol{c}$, the real closed field of all $\boldsymbol{c}$-computable real numbers has spectrum $\{\boldsymbol{d}~:~\boldsymbol{d}'\geq\boldsymbol{c}"\}$. We investigate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::26f363e8f036310ad812012726c1bd94
https://doi.org/10.1007/s00153-018-0638-z
https://doi.org/10.1007/s00153-018-0638-z
Autor:
David Marker, Russell Miller
Publikováno v:
The Journal of Symbolic Logic. 82:1-25
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 der
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f6e7c1e656dffabcb6c24c85ba9f4323
https://doi.org/10.1017/jsl.2016.73
https://doi.org/10.1017/jsl.2016.73