Standard

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

в: Algebra and Logic, Том 55, № 6, 01.01.2017, стр. 485-500.

Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

Harvard

Korovina, MV & Kudinov, OV 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

APA

Vancouver

Korovina MV, Kudinov OV. Spectrum of the Field of Computable Real Numbers. Algebra and Logic. 2017 янв. 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. в: Algebra and Logic. 2017 ; Том 55, № 6. стр. 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.

N1 - Publisher Copyright: © 2017, Springer Science+Business Media New York.

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