Spectrum of the Field of Computable Real Numbers

M. V. Korovina; O. V. Kudinov

doi:10.1007/s10469-017-9419-8

Spectrum of the Field of Computable Real Numbers

M. V. Korovina, O. V. Kudinov

Section of Discrete Mathematics and Computer Science

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

2 Citations (Scopus)

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.

Original language	English
Pages (from-to)	485-500
Number of pages	16
Journal	Algebra and Logic
Volume	55
Issue number	6
DOIs	https://doi.org/10.1007/s10469-017-9419-8
Publication status	Published - 1 Jan 2017

Keywords

field of computable real numbers
Turing degree

Access to Document

10.1007/s10469-017-9419-8

Cite this

@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.}",

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

}

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 -

Spectrum of the Field of Computable Real Numbers

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this