COMPLEMENTING BELOW RECURSIVELY-ENUMERABLE DEGREES

被引：7

作者：

COOPER, SB ^{[1
]}

EPSTEIN, RL ^{[1
]}

机构：

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

来源：

ANNALS OF PURE AND APPLIED LOGIC | 1987年 / 34卷 / 01期

关键词：

D O I：

10.1016/0168-0072(87)90039-X

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：15 / 32

页数：18

共 50 条

[21] THE IRRATIONALS ARE NOT RECURSIVELY-ENUMERABLE
MANSFIELD, R
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1990, 110 (02) : 495 - 497
[22] DISCONTINUITY OF CAPPINGS IN THE RECURSIVELY-ENUMERABLE DEGREES AND STRONGLY NONBRANCHING DEGREES
AMBOSSPIES, K
DING, DC
MATHEMATICAL LOGIC QUARTERLY, 1994, 40 (03) : 287 - 317
[23] THE QUOTIENT SEMILATTICE OF THE RECURSIVELY-ENUMERABLE DEGREES MODULO THE CAPPABLE DEGREES
SCHWARZ, S
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1984, 283 (01) : 315 - 328
[24] LATTICE NONEMBEDDINGS AND INITIAL SEGMENTS OF THE RECURSIVELY-ENUMERABLE DEGREES
DOWNEY, R
ANNALS OF PURE AND APPLIED LOGIC, 1990, 49 (02) : 97 - 119
[25] LATTICE EMBEDDINGS INTO THE RECURSIVELY-ENUMERABLE DEGREES .2.
AMBOSSPIES, K
LERMAN, M
JOURNAL OF SYMBOLIC LOGIC, 1989, 54 (03) : 735 - 760
[26] UNDECIDABILITY AND 1-TYPES IN THE RECURSIVELY-ENUMERABLE DEGREES
AMBOSSPIES, K
SHORE, RA
ANNALS OF PURE AND APPLIED LOGIC, 1993, 63 (01) : 3 - 37
[27] T-DEGREES OF DIFFERENCES OF RECURSIVELY-ENUMERABLE SETS
BUKHAREV, NR
IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII MATEMATIKA, 1981, (05): : 40 - 49
[28] LATTICE EMBEDDINGS IN THE RECURSIVELY-ENUMERABLE TRUTH TABLE DEGREES
HAUGHT, CA
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1987, 301 (02) : 515 - 535
[29] NOT EVERY FINITE LATTICE IS EMBEDDABLE IN THE RECURSIVELY-ENUMERABLE DEGREES
LACHLAN, AH
SOARE, RI
ADVANCES IN MATHEMATICS, 1980, 37 (01) : 74 - 82
[30] A CLASS OF RECURSIVELY-ENUMERABLE SETS
MOROZOV, AS
SIBERIAN MATHEMATICAL JOURNAL, 1987, 28 (02) : 278 - 282

← 1 2 3 4 5 →