On 1-Degrees Inside m-Degrees

被引：0

作者：

Batyrshin, I. I. ^{[1
]}

机构：

[1] Kazan Volga Reg Fed Univ, Kazan 420008, Tatarstan, Russia

来源：

LOBACHEVSKII JOURNAL OF MATHEMATICS | 2021年 / 42卷 / 12期

基金：

俄罗斯科学基金会;

关键词：

m-degrees; 1-degrees;

D O I：

10.1134/S1995080221120076

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We study the structure of 1-degrees insidem-degrees and prove that every Delta(0)(2) m-degree that has more than one 1-degree contains an infinite antichain of 1-degrees. This strengthens Degtev's result on computably enumerable m-degrees and gives partial answer to the following question stated by Odifreddi: if an m-degree has more than one 1-degree, does it contain an infinite antichain of 1-degrees? The proved result demonstrates that the answer is positive for Delta(0)(2) mdegrees.

引用

页码：2740 / 2743

页数：4

共 13 条

[1] IRREDUCIBLE, SINGULAR, AND CONTIGUOUS DEGREES [J].

Batyrshin, I. I. .

ALGEBRA AND LOGIC, 2017, 56 (03) :181-196

[2] Q-reducibility and m-reducibility on computably enumerable sets [J].

Batyrshin, I. I. .

SIBERIAN MATHEMATICAL JOURNAL, 2014, 55 (06) :995-1008

[3] Notes on conjunctive and quasi degrees [J].

Chitaia, Irakli ;

Omanadze, Roland ;

Sorbi, Andrea .

JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (05) :1317-1329

[4]

Degtev A.N., 1976, ALGEBR LOG+, V15, P153, DOI [10.1007/BF01876317, DOI 10.1007/BF01876317]

[5]

Degtev A.N., 1973, ALGEBR LOG+, V12, P78, DOI [10.1007/BF02219290, DOI 10.1007/BF02219290]

[6]

Downey R.G., 1993, REND SEM MAT U POL T, V51, P109

[7]

Ershov YuL, 1971, ALGEBR LOG+, V10, P378, DOI DOI 10.1007/BF02218645

[8]

Myhill J., 1955, Z MATH LOGIK GRUNDLA, V1, P97, DOI DOI 10.1002/MALQ.19550010205

[9]

ODIFREDDI P, 1981, B AM MATH SOC, V4, P37, DOI 10.1090/S0273-0979-1981-14863-1

[10]

Odifreddi P.G., 1999, HDB RECURSION THEORY

← 1 2 →