Jump operator on honest subrecursive degrees

被引：0

|

作者：

机构：

来源：

Arch Math Logic | / 2卷 / 105期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[11] MINIMAL DEGREES AND JUMP OPERATOR
COOPER, SB
JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (02) : 249 - 271
[12] HELPING AND MEET OF PAIRS OF HONEST SUBRECURSIVE CLASSES
MACHTEY, M
INFORMATION AND CONTROL, 1975, 28 (01): : 76 - 89
[13] Subrecursive degrees and fragments of Peano Arithmetic
Lars Kristiansen
Archive for Mathematical Logic, 2001, 40 : 365 - 397
[14] Subrecursive degrees and fragments of Peano Arithmetic
Kristiansen, L
ARCHIVE FOR MATHEMATICAL LOGIC, 2001, 40 (05) : 365 - 397
[15] The automorphism group and definability of the jump operator in the ω-enumeration degrees
Ganchev, Hristo
Sariev, Andrey C.
ARCHIVE FOR MATHEMATICAL LOGIC, 2021, 60 (7-8) : 909 - 925
[16] HONEST POLYNOMIAL DEGREES AND P=NP
HOMER, S
LONG, TJ
THEORETICAL COMPUTER SCIENCE, 1987, 51 (03) : 265 - 280
[17] A POLYNOMIAL JUMP OPERATOR
TOWNSEND, M
INFORMATION AND CONTROL, 1986, 68 (1-3): : 146 - 169
[18] Isolation and the jump operator
Wu, GH
MATHEMATICAL LOGIC QUARTERLY, 2001, 47 (04) : 525 - 534
[19] Honest elementary degrees and degrees of relative provability without the cupping property
Shafer, Paul
ANNALS OF PURE AND APPLIED LOGIC, 2017, 168 (05) : 1017 - 1031
[20] THE STRUCTURE OF THE HONEST POLYNOMIAL M-DEGREES
DOWNEY, R
GASARCH, W
MOSES, M
ANNALS OF PURE AND APPLIED LOGIC, 1994, 70 (02) : 113 - 139

← 1 2 3 4 5 →