No CrossRef data available.
Article contents
Some jump-like operations in β-recursion theory
Published online by Cambridge University Press: 12 March 2014
Abstract
In 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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2013