首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
Jump operator on honest subrecursive degrees
被引:0
|
作者
:
机构
:
来源
:
Arch Math Logic
|
/ 2卷
/ 105期
关键词
:
D O I
:
暂无
中图分类号
:
学科分类号
:
摘要
:
引用
收藏
相关论文
共 50 条
[1]
A jump operator on honest subrecursive degrees
Lars Kristiansen
论文数:
0
引用数:
0
h-index:
0
机构:
Department of Informatics,
Lars Kristiansen
Archive for Mathematical Logic,
1998,
37
: 105
-
125
[2]
A jump operator on honest subrecursive degrees
Kristiansen, L
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Oslo, Dept Informat, N-0316 Oslo, Norway
Univ Oslo, Dept Informat, N-0316 Oslo, Norway
Kristiansen, L
ARCHIVE FOR MATHEMATICAL LOGIC,
1998,
37
(02)
: 105
-
125
[3]
Semi-honest subrecursive degrees and the collection rule in arithmetic
Andrés Cordón-Franco
论文数:
0
引用数:
0
h-index:
0
机构:
Universidad de Sevilla,Dpto. Ciencias de la Computación e Inteligencia Artificial
Andrés Cordón-Franco
F. Félix Lara-Martín
论文数:
0
引用数:
0
h-index:
0
机构:
Universidad de Sevilla,Dpto. Ciencias de la Computación e Inteligencia Artificial
F. Félix Lara-Martín
Archive for Mathematical Logic,
2024,
63
: 163
-
180
[4]
Semi-honest subrecursive degrees and the collection rule in arithmetic
Cordon-Franco, Andres
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Seville, Dept Ciencias Comp Inteligencia Artificial, C-Tarfia s-n, Seville 41012, Spain
Univ Seville, Dept Ciencias Comp Inteligencia Artificial, C-Tarfia s-n, Seville 41012, Spain
Cordon-Franco, Andres
Lara-Martin, F. Felix
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Seville, Dept Ciencias Comp Inteligencia Artificial, C-Tarfia s-n, Seville 41012, Spain
Univ Seville, Dept Ciencias Comp Inteligencia Artificial, C-Tarfia s-n, Seville 41012, Spain
Lara-Martin, F. Felix
ARCHIVE FOR MATHEMATICAL LOGIC,
2024,
63
(1-2)
: 163
-
180
[5]
HONEST SUBRECURSIVE CLASSES ARE A LATTICE
MACHTEY, M
论文数:
0
引用数:
0
h-index:
0
机构:
PURDUE UNIV,DEPT MATH,LAFAYETTE,IN 47907
MACHTEY, M
INFORMATION AND CONTROL,
1974,
24
(03):
: 247
-
263
[6]
DENSITY OF HONEST SUBRECURSIVE CLASSES
MACHTEY, M
论文数:
0
引用数:
0
h-index:
0
机构:
PURDUE UNIV,DEPT MATH & COMP SCI,LAFAYETTE,IN 47907
PURDUE UNIV,DEPT MATH & COMP SCI,LAFAYETTE,IN 47907
MACHTEY, M
JOURNAL OF COMPUTER AND SYSTEM SCIENCES,
1975,
10
(02)
: 183
-
199
[7]
MINIMAL DEGREES AND JUMP OPERATOR
COOPER, SB
论文数:
0
引用数:
0
h-index:
0
COOPER, SB
JOURNAL OF SYMBOLIC LOGIC,
1970,
35
(04)
: 601
-
+
[8]
Jump operator and Yates degrees
Wu, GH
论文数:
0
引用数:
0
h-index:
0
机构:
Nanyang Technol Univ, Sch Phys & Math Sci, Div Math Sci, Singapore 639798, Singapore
Nanyang Technol Univ, Sch Phys & Math Sci, Div Math Sci, Singapore 639798, Singapore
Wu, GH
JOURNAL OF SYMBOLIC LOGIC,
2006,
71
(01)
: 252
-
264
[9]
Nonisolated degrees and the jump operator
Wu, GH
论文数:
0
引用数:
0
h-index:
0
机构:
Victoria Univ Wellington, Sch Math & Comp Sci, Wellington, New Zealand
Victoria Univ Wellington, Sch Math & Comp Sci, Wellington, New Zealand
Wu, GH
ANNALS OF PURE AND APPLIED LOGIC,
2002,
117
(1-3)
: 209
-
221
[10]
The jump operator on the ω-enumeration degrees
Ganchev, Hristo
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Sofia, Fac Math & Comp Sci, Sofia 1164, Bulgaria
Univ Sofia, Fac Math & Comp Sci, Sofia 1164, Bulgaria
Ganchev, Hristo
Soskov, Ivan N.
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Sofia, Fac Math & Comp Sci, Sofia 1164, Bulgaria
Univ Sofia, Fac Math & Comp Sci, Sofia 1164, Bulgaria
Soskov, Ivan N.
ANNALS OF PURE AND APPLIED LOGIC,
2009,
160
(03)
: 289
-
301
←
1
2
3
4
5
→