M. V. Korovina, O. V. Kudinov, “Spectrum of the field of computable real numbers”, Algebra Logika, 2016, Volume 55, Number 6,Pages <nobr>738–759</nobr>

RUS ENG

JOURNALS // Algebra i logika // Archive

Algebra Logika, 2016 Volume 55, Number 6, Pages 738–759 (Mi al772)

This article is cited in 3 papers

Spectrum of the field of computable real numbers

M. V. Korovina^a, O. V. Kudinov^bc

^a Ershov Institute of Informatics Systems, Siberian Branch, Russian Academy of Sciences, pr. Lavrent'ev 6, Novosibirsk, 630090 Russia
^b Sobolev Institute of Mathematics, pr. Akad. Koptyuga 4, Novosibirsk, 630090 Russia
^c Novosibirsk State University, ul. Pirogova 2, Novosibirsk, 630090 Russia

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.

UDC: 510.65

Received: 13.03.2015
Revised: 14.05.2016

DOI: 10.17377/alglog.2016.55.604

English version: Algebra and Logic, 2017, 55:6, 485–500

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026