There is no fat orbit

被引：4

作者：

Downey, R ^{[1
]}

Harrington, L ^{[1
]}

机构：

[1] UNIV CALIF BERKELEY,DEPT MATH,BERKELEY,CA 94720

来源：

ANNALS OF PURE AND APPLIED LOGIC | 1996年 / 80卷 / 03期

基金：

美国国家科学基金会;

关键词：

D O I：

10.1016/0168-0072(96)83748-1

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

We give a proof of a theorem of Harrington that there is no orbit of the lattice of recursively enumerable sets containing elements of each nonzero recursively enumerable degree. We also establish some degree theoretical extensions.

引用

页码：277 / 289

页数：13

共 15 条

[11] Post E. L., 1944, Bulletin of the American Mathematical Society, V50, P284
[12] A NON-INVERSION THEOREM FOR THE JUMP OPERATOR
SHORE, RA
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1988, 40 (03) : 277 - 303
[13] Soare R.I., 1982, P HERBR S LOG COLL 1, P299, DOI [10.1016/S0049-237X(08)71892-5, DOI 10.1016/S0049-237X(08)71892-5]
[14] Soare R. I., 1987, RECURSIVELY ENUMERAB
[15] AUTOMORPHISMS OF LATTICE OF RECURSIVELY ENUMERABLE SETS .1. MAXIMAL SETS
SOARE, RI
[J]. ANNALS OF MATHEMATICS, 1974, 100 (01) : 80 - 120

← 1 2 →