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 条

[1] A JUMP CLASS OF NONCAPPABLE DEGREES
COOPER, SB
[J]. JOURNAL OF SYMBOLIC LOGIC, 1989, 54 (02) : 324 - 353
[2] JUMPS OF HEMIMAXIMAL SETS
DOWNEY, R
STOB, M
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1991, 37 (02): : 113 - 120
[3] HIGHNESS AND BOUNDING MINIMAL PAIRS
DOWNEY, RG
LEMPP, S
SHORE, RA
[J]. MATHEMATICAL LOGIC QUARTERLY, 1993, 39 (04) : 475 - 491
[4] AUTOMORPHISMS OF THE LATTICE OF RECURSIVELY-ENUMERABLE SETS - ORBITS
DOWNEY, RG
STOB, M
[J]. ADVANCES IN MATHEMATICS, 1992, 92 (02) : 237 - 265
[5] DOWNEY RG, IN PRESS ISRAEL J MA
[6] POSTS PROGRAM AND INCOMPLETE RECURSIVELY-ENUMERABLE SETS
HARRINGTON, L
SOARE, RI
[J]. PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1991, 88 (22) : 10242 - 10246
[7] HARRINGTON L, 1991, THERES NO FAT ORBIT
[8] HARRINGTON L, IN PRESS DEFINABLE P
[9] VARIATIONS ON PROMPTLY SIMPLE SETS
MAASS, W
[J]. JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (01) : 138 - 148
[10] CLASSES OF RECURSIVELY ENUMERABLE SETS AND DEGREES OF UNSOLVABILITY
MARTIN, DA
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1966, 12 (04): : 295 - &

← 1 2 →