Intermediate β-r.e. degrees and the half-jump

DOI10.2307/2273472zbMath0529.03023OpenAlexW1998312934MaRDI QIDQ3310602

Homer, Steven

Publication date: 1983

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

Full work available at URL: https://doi.org/10.2307/2273472

zbMATH Keywords

recursively enumerable degreejump operators\(\beta\)-recursion theory

Mathematics Subject Classification ID

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

Cites Work

• Negative solutions to Post's problem. II
• On α- and β-recursively enumerable degrees
• The recursively enumerable α-degrees are dense
• Inadmissible recursion theory
• Inadmissibility, tame R.E. sets and the admissible collapse

This page was built for publication: Intermediate β-r.e. degrees and the half-jump