Jump operator on honest subrecursive degrees

被引：0
|
作者：
机构：
来源：
Arch Math Logic | / 2卷 / 105期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Fixed points for the jump operator
    V. G. Puzarenko
    Algebra and Logic, 2011, 50 : 418 - 438
  • [32] A jump operator for subrecursion theories
    Heaton, AJ
    JOURNAL OF SYMBOLIC LOGIC, 1999, 64 (02) : 460 - 468
  • [33] BULK WEIGHTING SYSTEM KEEPS OPERATOR HONEST.
    Laberski, Stanley E.
    Electronics, 1976, 49 (08):
  • [34] Quantum jump statistics with a shifted jump operator in a chiral waveguide
    Cilluffo, Dario
    Lorenzo, Salvatore
    Palma, G. Massimo
    Ciccarello, Francesco
    JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, 2019, 2019 (10):
  • [35] Badness and jump inversion in the enumeration degrees
    Harris, Charles M.
    ARCHIVE FOR MATHEMATICAL LOGIC, 2012, 51 (3-4) : 373 - 406
  • [36] A Bounded Jump for the Bounded Turing Degrees
    Anderson, Bernard
    Csima, Barbara
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2014, 55 (02) : 245 - 264
  • [37] Splitting and jump inversion in the Turing degrees
    Cooper, S. Barry
    Li, Angsheng
    Xia, Mingji
    COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2018, 7 (2-3): : 133 - 142
  • [38] THE JUMP IS DEFINABLE IN THE STRUCTURE OF THE DEGREES OF UNSOLVABILITY
    COOPER, SB
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1990, 23 (01) : 151 - 158
  • [39] ON THE JUMP CLASSES OF NONCUPPABLE ENUMERATION DEGREES
    Harris, Charles M.
    JOURNAL OF SYMBOLIC LOGIC, 2011, 76 (01) : 177 - 197
  • [40] A FIXED POINT FOR THE JUMP OPERATOR ON STRUCTURES
    Montalban, Antonio
    JOURNAL OF SYMBOLIC LOGIC, 2013, 78 (02) : 425 - 438
12345