HIGHNESS AND BOUNDING MINIMAL PAIRS

被引：18

作者：

DOWNEY, RG

LEMPP, S

SHORE, RA

机构：

[1] VICTORIA UNIV WELLINGTON,DEPT MATH,WELLINGTON,NEW ZEALAND

[2] UNIV WISCONSIN,DEPT MATH,MADISON,WI 53706

[3] CORNELL UNIV,DEPT MATH,ITHACA,NY 14853

来源：

MATHEMATICAL LOGIC QUARTERLY | 1993年 / 39卷 / 04期

关键词：

RECURSIVELY ENUMERABLE SET; RECURSIVELY ENUMERABLE DEGREE; JUMP OPERATOR; HIGH DEGREE; MINIMAL PAIR;

D O I：

10.1002/malq.19930390151

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We show the existence of a high r. e. degree bounding only joins of minimal pairs and of a high2 nonbounding r. e. degree.

引用

页码：475 / 491

页数：17

共 23 条

[1]

CHOLAK P, 1992, THESIS U WISCONSIN

[2] MINIMAL PAIRS AND HIGH RECURSIVELY ENUMERABLE DEGREES [J].

COOPER, SB .

JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (04) :655-660

[3] JUMPS OF HEMIMAXIMAL SETS [J].

DOWNEY, R ;

STOB, M .

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1991, 37 (02) :113-120

[4]

DOWNEY R, UNPUB DENSITY INFIMA

[5] AUTOMORPHISMS OF THE LATTICE OF RECURSIVELY-ENUMERABLE SETS - ORBITS [J].

DOWNEY, RG ;

STOB, M .

ADVANCES IN MATHEMATICS, 1992, 92 (02) :237-265

[6]

DOWNEY RG, 1989, LECT N MATH, V1432, P111

[7]

DOWNEY RG, UNPUB MINIMAL PAIRS

[8]

GROSZEK M, UNPUB

[9]

HARRINGTON L, UNPUB NEW METHODS AU

[10]

HARRINGTON L, UNPUB SETS AUTOMORPH

← 1 2 3 →