首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
DEGREE THEORETICAL SPLITTING PROPERTIES OF RECURSIVELY-ENUMERABLE SETS
被引:14
|
作者
:
AMBOSSPIES, K
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV DORTMUND,LEHRSTUHL INFORMAT 2,D-4600 DORTMUND 50,FED REP GER
AMBOSSPIES, K
FEJER, PA
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV DORTMUND,LEHRSTUHL INFORMAT 2,D-4600 DORTMUND 50,FED REP GER
FEJER, PA
机构
:
[1]
UNIV DORTMUND,LEHRSTUHL INFORMAT 2,D-4600 DORTMUND 50,FED REP GER
[2]
UNIV MASSACHUSETTS,DEPT MATH & COMP SCI,BOSTON,MA 02125
来源
:
JOURNAL OF SYMBOLIC LOGIC
|
1988年
/ 53卷
/ 04期
关键词
:
D O I
:
10.2307/2274608
中图分类号
:
O1 [数学];
学科分类号
:
0701 ;
070101 ;
摘要
:
引用
收藏
页码:1110 / 1137
页数:28
相关论文
共 50 条
[31]
A TRULY MORPHIC CHARACTERIZATION OF RECURSIVELY-ENUMERABLE SETS
BRANDENBURG, FJ
论文数:
0
引用数:
0
h-index:
0
BRANDENBURG, FJ
LECTURE NOTES IN COMPUTER SCIENCE,
1984,
176
: 205
-
213
[32]
ON THE CANTOR-BENDIXON RANK OF RECURSIVELY-ENUMERABLE SETS
CHOLAK, P
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV MICHIGAN,DEPT MATH,ANN ARBOR,MI 48109
CHOLAK, P
DOWNEY, R
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV MICHIGAN,DEPT MATH,ANN ARBOR,MI 48109
DOWNEY, R
JOURNAL OF SYMBOLIC LOGIC,
1993,
58
(02)
: 629
-
640
[33]
AUTOMORPHISMS OF THE LATTICE OF RECURSIVELY-ENUMERABLE SETS - PROMPTLY SIMPLE SETS
CHOLAK, P
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV WISCONSIN,DEPT MATH,MADISON,WI 53706
CHOLAK, P
DOWNEY, R
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV WISCONSIN,DEPT MATH,MADISON,WI 53706
DOWNEY, R
STOB, M
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV WISCONSIN,DEPT MATH,MADISON,WI 53706
STOB, M
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY,
1992,
332
(02)
: 555
-
570
[34]
T-DEGREES OF DIFFERENCES OF RECURSIVELY-ENUMERABLE SETS
BUKHAREV, NR
论文数:
0
引用数:
0
h-index:
0
BUKHAREV, NR
IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII MATEMATIKA,
1981,
(05):
: 40
-
49
[35]
CLASSES OF RECURSIVELY-ENUMERABLE SETS AND Q-REDUCIBILITY
OMANADZE, RS
论文数:
0
引用数:
0
h-index:
0
OMANADZE, RS
MATHEMATICAL NOTES,
1989,
45
(1-2)
: 141
-
143
[36]
ON THE CHARACTERIZATION OF RECURSIVELY-ENUMERABLE SETS AS PSEUDO-DIOPHANTINE
SKANDALIS, K
论文数:
0
引用数:
0
h-index:
0
SKANDALIS, K
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY,
1995,
123
(02)
: 555
-
558
[37]
ON INJECTIVE ENUMERABILITY OF RECURSIVELY-ENUMERABLE CLASSES OF COFINITE SETS
WEHNER, S
论文数:
0
引用数:
0
h-index:
0
机构:
SIMON FRASER UNIV, DEPT MATH & STAT, BURNABY, BC V5A 1S6, CANADA
SIMON FRASER UNIV, DEPT MATH & STAT, BURNABY, BC V5A 1S6, CANADA
WEHNER, S
ARCHIVE FOR MATHEMATICAL LOGIC,
1995,
34
(03)
: 183
-
196
[38]
RECURSIVELY-ENUMERABLE SETS AND VANDERWAERDENS THEOREM ON ARITHMETIC PROGRESSIONS
JOCKUSCH, CG
论文数:
0
引用数:
0
h-index:
0
机构:
WESTERN ILLINOIS UNIV, MACOMB, IL 61455 USA
WESTERN ILLINOIS UNIV, MACOMB, IL 61455 USA
JOCKUSCH, CG
KALANTARI, I
论文数:
0
引用数:
0
h-index:
0
机构:
WESTERN ILLINOIS UNIV, MACOMB, IL 61455 USA
WESTERN ILLINOIS UNIV, MACOMB, IL 61455 USA
KALANTARI, I
PACIFIC JOURNAL OF MATHEMATICS,
1984,
115
(01)
: 143
-
153
[39]
THE RECURSION THEOREM, APPROXIMATIONS, AND CLASSIFYING INDEX SETS OF RECURSIVELY-ENUMERABLE SETS
ARSLANOV, MM
论文数:
0
引用数:
0
h-index:
0
ARSLANOV, MM
LECTURE NOTES IN COMPUTER SCIENCE,
1987,
278
: 34
-
37
[40]
ORDERED SUBRINGS OF THE REALS IN WHICH OUTPUT SETS ARE RECURSIVELY-ENUMERABLE
BYERLY, RE
论文数:
0
引用数:
0
h-index:
0
BYERLY, RE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY,
1993,
118
(02)
: 597
-
601
←
1
2
3
4
5
→