FAMILIES OF RECURSIVELY-ENUMERABLE SETS AND THEIR DEGREES OF UNSOLVABILITY

被引：0

|

作者：

ARSLANOV, MM

机构：

来源：

IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII MATEMATIKA | 1985年 / 04期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：13 / 19

页数：7

相关论文

共 50 条

[21] RECURSIVELY-ENUMERABLE L-SETS
BIACINO, L
GERLA, G
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1987, 33 (02): : 107 - 113
[22] RECURSIVELY-ENUMERABLE IMAGES OF ARITHMETIC SETS
ROSENBERG, R
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1982, 28 (03): : 189 - 201
[23] THE DISCONTINUITY OF SPLITTING IN THE RECURSIVELY-ENUMERABLE DEGREES
COOPER, SB
YI, XD
ARCHIVE FOR MATHEMATICAL LOGIC, 1995, 34 (04) : 247 - 256
[24] THE DISTRIBUTION OF THE GENERIC RECURSIVELY-ENUMERABLE DEGREES
DING, DC
ARCHIVE FOR MATHEMATICAL LOGIC, 1992, 32 (02) : 113 - 135
[25] THE DENSITY OF INFIMA IN THE RECURSIVELY-ENUMERABLE DEGREES
SLAMAN, TA
ANNALS OF PURE AND APPLIED LOGIC, 1991, 52 (1-2) : 155 - 179
[26] AUTOMORPHISMS OF THE LATTICE OF RECURSIVELY-ENUMERABLE SETS
CHOLAK, P
MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY, 1995, 113 (541) : R3 - &
[27] NONISOMORPHISM OF LATTICES OF RECURSIVELY-ENUMERABLE SETS
HAMMOND, JT
JOURNAL OF SYMBOLIC LOGIC, 1993, 58 (04) : 1177 - 1188
[28] AUTOMORPHISMS OF THE LATTICE OF RECURSIVELY-ENUMERABLE SETS - ORBITS
DOWNEY, RG
STOB, M
ADVANCES IN MATHEMATICS, 1992, 92 (02) : 237 - 265
[29] COMPUTATIONAL-COMPLEXITY OF RECURSIVELY-ENUMERABLE SETS
SOARE, RI
INFORMATION AND CONTROL, 1982, 52 (01): : 8 - 18
[30] POSTS PROGRAM AND INCOMPLETE RECURSIVELY-ENUMERABLE SETS
HARRINGTON, L
SOARE, RI
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1991, 88 (22) : 10242 - 10246

← 1 2 3 4 5 →