Some jump-like operations in β-recursion theory

Abstract

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