A MORPHIC REPRESENTATION OF COMPLEMENTS OF RECURSIVELY-ENUMERABLE SETS

被引：6

作者：

EHRENFEUCHT, A

ROZENBERG, G

RUOHONEN, K

机构：

[1] UNIV LEIDEN,INST APPL MATH & COMP SCI,2300 RA LEIDEN,NETHERLANDS

[2] TAMPERE UNIV TECHNOL,INST MATH,SF-33101 TAMPERE 10,FINLAND

来源：

JOURNAL OF THE ACM | 1981年 / 28卷 / 04期

关键词：

D O I：

10.1145/322276.322282

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：706 / 714

页数：9

共 50 条

[21] FAMILIES OF RECURSIVELY-ENUMERABLE SETS AND THEIR DEGREES OF UNSOLVABILITY
ARSLANOV, MM
IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII MATEMATIKA, 1985, (04): : 13 - 19
[22] JUMPS OF NONTRIVIAL SPLITTINGS OF RECURSIVELY-ENUMERABLE SETS
INGRASSIA, MA
LEMPP, S
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1990, 36 (04): : 285 - 292
[23] A LIMIT ON RELATIVE GENERICITY IN THE RECURSIVELY-ENUMERABLE SETS
LEMPP, S
SLAMAN, TA
JOURNAL OF SYMBOLIC LOGIC, 1989, 54 (02) : 376 - 395
[24] MAJOR SUBSETS AND THE LATTICE OF RECURSIVELY-ENUMERABLE SETS
STOB, M
PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS, 1985, 42 : 107 - 116
[25] THE SEMILATTICE OF COMPUTABLE FAMILIES OF RECURSIVELY-ENUMERABLE SETS
DEGTEV, AN
MATHEMATICAL NOTES, 1991, 50 (3-4) : 1027 - 1030
[26] SPECTRAL REPRESENTATION OF RECURSIVELY-ENUMERABLE AND COENUMERABLE PREDICATES
DEUTSCH, M
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 270 : 107 - 116
[27] THE IRRATIONALS ARE NOT RECURSIVELY-ENUMERABLE
MANSFIELD, R
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1990, 110 (02) : 495 - 497
[28] ON THE CANTOR-BENDIXON RANK OF RECURSIVELY-ENUMERABLE SETS
CHOLAK, P
DOWNEY, R
JOURNAL OF SYMBOLIC LOGIC, 1993, 58 (02) : 629 - 640
[29] AUTOMORPHISMS OF THE LATTICE OF RECURSIVELY-ENUMERABLE SETS - PROMPTLY SIMPLE SETS
CHOLAK, P
DOWNEY, R
STOB, M
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1992, 332 (02) : 555 - 570
[30] DEGREE THEORETICAL SPLITTING PROPERTIES OF RECURSIVELY-ENUMERABLE SETS
AMBOSSPIES, K
FEJER, PA
JOURNAL OF SYMBOLIC LOGIC, 1988, 53 (04) : 1110 - 1137

← 1 2 3 4 5 →