SPECTRUM OF THE FIELD OF COMPUTABLE REAL NUMBERS

被引：2

作者：

Korovina, M. V. ^{[1
]}

Kudinov, O. V. ^{[2
,3
]}

机构：

[1] Russian Acad Sci, Siberian Branch, Inst Informat Syst, Pr Akad Lavrenteva 6, Novosibirsk 630090, Russia

[2] Sobolev Inst Math, Pr Akad Koptyuga 4, Novosibirsk 630090, Russia

[3] Novosibirsk State Univ, Ul Pirogova 2, Novosibirsk 630090, Russia

来源：

ALGEBRA AND LOGIC | 2017年 / 55卷 / 06期

关键词：

field of computable real numbers; Turing degree; SETS;

D O I：

10.1007/s10469-017-9419-8

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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.

引用

页码：485 / 500

页数：16

共 16 条

[1]

[Anonymous], 1999, Constructive Models, Siberian School of Algebra and Logic

[2]

Ash C., 2000, Studies in Logic and the Foundations of Mathematics, V144

[3]

Bochnak J., 1998, Ergeb. Math. Grenzgeb.

[4]

Brattka V, 2001, LECT NOTES COMPUT SC, V2136, P224

[5]

Ceitin G. S., 1971, AM MATH SOC TRANSL 2, V98, P11

[6]

Ershov YuL., 1977, NUMERATION THEORY

[7] EFFECTIVE PROCEDURES IN FIELD THEORY [J].

FROHLICH, A ;

SHEPHERDSON, JC .

PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY OF LONDON SERIES A-MATHEMATICAL AND PHYSICAL SCIENCES, 1956, 248 (950) :407-432

[8] Spectra of highn and non-lown degrees [J].

Frolov, Andrey ;

Kalimullin, Iskander ;

Harizanov, Valentina ;

Kudinov, Oleg ;

Miller, Russell .

JOURNAL OF LOGIC AND COMPUTATION, 2012, 22 (04) :755-777

[9] DEGREES IN WHICH RECURSIVE SETS ARE UNIFORMLY RECURSIVE [J].

JOCKUSCH, CG .

CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1972, 24 (06) :1092-1099

[10] CLASSES OF RECURSIVELY ENUMERABLE SETS AND DEGREES OF UNSOLVABILITY [J].

MARTIN, DA .

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1966, 12 (04) :295-&

← 1 2 →