SOME JUMP-LIKE OPERATIONS IN beta-RECURSION THEORY

作者:Bailey Colin G*
来源:Journal of Symbolic Logic, 2013, 78(1): 57-71.
DOI:10.2178/jsl.7801040

摘要

In this paper we show that there are various pseudo-jump operators definable over inadmissible J(beta) that relate to the failure of admissiblity and to non-regularity. We will use these ideas to construct some intermediate degrees.

  • 出版日期2013-3

全文