Spectrum of the Field of Computable Real Numbers

Standard

Spectrum of the Field of Computable Real Numbers. / Korovina, M. V.; Kudinov, O. V.

In: Algebra and Logic, Vol. 55, No. 6, 01.01.2017, p. 485-500.

Research output: Contribution to journal › Article › peer-review

Harvard

Korovina, MV & Kudinov, OV 2017, 'Spectrum of the Field of Computable Real Numbers', Algebra and Logic, vol. 55, no. 6, pp. 485-500. https://doi.org/10.1007/s10469-017-9419-8

APA

Korovina, M. V., & Kudinov, O. V. (2017). Spectrum of the Field of Computable Real Numbers. Algebra and Logic, 55(6), 485-500. https://doi.org/10.1007/s10469-017-9419-8

Vancouver

Korovina MV, Kudinov OV. Spectrum of the Field of Computable Real Numbers. Algebra and Logic. 2017 Jan 1;55(6):485-500. doi: 10.1007/s10469-017-9419-8

Author

Korovina, M. V. ; Kudinov, O. V. / Spectrum of the Field of Computable Real Numbers. In: Algebra and Logic. 2017 ; Vol. 55, No. 6. pp. 485-500.

BibTeX

@article{35ef55907dfe474e88ab17369ce86d4f,

title = "Spectrum of the Field of Computable Real Numbers",

abstract = "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",

author = "Korovina, {M. V.} and Kudinov, {O. V.}",

note = "Publisher Copyright: {\textcopyright} 2017, Springer Science+Business Media New York.",

year = "2017",

month = jan,

day = "1",

doi = "10.1007/s10469-017-9419-8",

language = "English",

volume = "55",

pages = "485--500",

journal = "Algebra and Logic",

issn = "0002-5232",

publisher = "Springer US",

number = "6",

}

RIS

TY - JOUR

T1 - Spectrum of the Field of Computable Real Numbers

AU - Korovina, M. V.

AU - Kudinov, O. V.

PY - 2017/1/1

Y1 - 2017/1/1

N2 - 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.

AB - 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.

KW - field of computable real numbers

KW - Turing degree

UR - http://www.scopus.com/inward/record.url?scp=85015096087&partnerID=8YFLogxK

U2 - 10.1007/s10469-017-9419-8

DO - 10.1007/s10469-017-9419-8

M3 - Article

AN - SCOPUS:85015096087

VL - 55

SP - 485

EP - 500

JO - Algebra and Logic

JF - Algebra and Logic

SN - 0002-5232

IS - 6

ER -

ID: 10351715