Geodesic
Spectrum of the field of computable real numbers
Algebra i logika, Tome 55 (2016) no. 6, pp. 738-759.

Voir la notice de l'article provenant de la source Math-Net.Ru

Necessary and sufficient conditions for a Turing degree to be an element of the spectrum of the classical field of computable real numbers are established.
Keywords: field of computable real numbers, Turing degree. 
@article{AL_2016_55_6_a3,
     author = {M. V. Korovina and O. V. Kudinov},
     title = {Spectrum of the field of computable real numbers},
     journal = {Algebra i logika},
     pages = {738--759},
     publisher = {mathdoc},
     volume = {55},
     number = {6},
     year = {2016},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2016_55_6_a3/}
}
TY  - JOUR
AU  - M. V. Korovina
AU  - O. V. Kudinov
TI  - Spectrum of the field of computable real numbers
JO  - Algebra i logika
PY  - 2016
SP  - 738
EP  - 759
VL  - 55
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2016_55_6_a3/
LA  - ru
ID  - AL_2016_55_6_a3
ER  - 
%0 Journal Article
%A M. V. Korovina
%A O. V. Kudinov
%T Spectrum of the field of computable real numbers
%J Algebra i logika
%D 2016
%P 738-759
%V 55
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2016_55_6_a3/
%G ru
%F AL_2016_55_6_a3
M. V. Korovina; O. V. Kudinov. Spectrum of the field of computable real numbers. Algebra i logika, Tome 55 (2016) no. 6, pp. 738-759. http://geodesic.mathdoc.fr/item/AL_2016_55_6_a3/

[1] Yu. L. Ershov, Teoriya numeratsii, Nauka, M., 1977

[2] S. S. Goncharov, Yu. L. Ershov, Konstruktivnye modeli, Sibirskaya shkola algebry i logiki, Nauchnaya kniga, Novosibirsk, 1999

[3] C. J. Ash, J. F. Knight, Computable structures and the hyperarithmetical hierarchy, Stud. Logic Found. Math., 144, Elsevier Sci. B. V., Amsterdam etc., 2000 | MR | Zbl

[4] G. S. Tseitin, “O verkhnikh granitsakh perechislimykh mnozhestv konstruktivnykh veschestvennykh chisel”, Problemy konstruktivnogo napravleniya v matematike. 5, Tr. MIAN SSSR, 113, 1970, 102–172 | MR | Zbl

[5] P. Martin-Löf, Notes on constructive mathematics, Almqvist Wiksell, Stockholm, 1971 | MR | Zbl

[6] V. Brattka, “Computable versions of Baire's category theorem”, Mathematical foundations of computer science 2001, Proc. 26th int. Symposium, MFCS 2001 (Mariánské Lázně, Czech Republic, August 27–31, 2001), Lect. Notes Comput. Sci., 2136, eds. J. Sgall et al., Springer, Berlin, 2001, 224–235 | DOI | MR | Zbl

[7] A. Frolov, I. Kalimullin, V. Harizanov, O. Kudinov, R. Miller, “Spectra of highn and non-lown degrees”, J. Log. Comput., 22:4 (2012), 755–777 | DOI | MR | Zbl

[8] R. Rogers, Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967 ; Kh. Rodzhers, Teoriya rekursivnykh funktsii i effektivnaya vychislimost, Mir, M., 1972 | MR | Zbl

[9] K. Weihrauch, Computable analysis. An introduction, Texts Theoret. Comput. Sci. EATCS Ser., Springer-Verlag, Berlin, 2000 | DOI | MR | Zbl

[10] H. G. Rice, “Recursive real numbers”, Proc. Am. Math. Soc., 5:5 (1954), 784–791 | DOI | MR | Zbl

[11] D. A. Martin, “Classes of recursively enumerable sets and degree of unsolvability”, Z. Math. Logik Grundlagen Math., 12:4 (1966), 295–310 | DOI | MR | Zbl

[12] J. R. Shoenfield, Degrees of unsolvability, North-Holland Math. Stud., 2, North-Holland Publ. Co., Amsterdam–London; American Elsevier Publ. Co., Inc., New York, 1971 ; Dzh. S. Shenfild, Stepeni nerazreshimosti, Nauka, M., 1977 | MR | Zbl

[13] C. G. Jockusch (jun.), “Degrees in which the recursive sets are uniformly recursive”, Can. J. Math., 24 (1972), 1092–1099 | DOI | MR | Zbl

[14] A. Robinson, Introduction to model theory and to the metamathematics of algebra, Stud. Logic Found. Math., North-Holland Publ. Co., Amsterdam, 1963 ; A. Robinson, Vvedenie v teoriyu modelei i metamatematiku algebry, Nauka, M., 1967 | MR | Zbl

[15] J. Bochnak, M. Coste, M.-F. Roy, Real algebraic geometry, Transl. from the French. Rev. and updated ed., Ergeb. Mathematik und ihrer Grenzgebiete (3), 36, Springer-Verlag, Berlin, 1998 | MR | Zbl

[16] A. Frönlich, J. C. Shepherdson, “Effective procedures in field theory”, Philos. Trans. Roy. Soc. London Ser. A, 248 (1956), 407–432 | DOI | MR