Some jump-like operations in β-recursion theory

DOI10.2178/jsl.7801040zbMath1311.03072OpenAlexW1546640296MaRDI QIDQ4916542

Colin G. Bailey

Publication date: 23 April 2013

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1358951099

zbMATH Keywords

\(\beta\)-recursionpseudo-jump operators

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cites Work

• Negative solutions to Post's problem. II
• Inadmissibility, tame R.E. sets and the admissible collapse
• Unnamed Item
• Unnamed Item

This page was built for publication: Some jump-like operations in β-recursion theory