Inverting the Half-Jump

DOI10.2307/1999318MaRDI QIDQ3674638zbMATHOpenAlexFDO

Authors

Publication date 1983

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

zbMATH Keywords

density theoremdegreesbeta-recursion theoryhalf jump

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3573850 (Why is no real title available?)
• A criterion for completeness of degrees of unsolvability
• Inadmissibility, tame R.E. sets and the admissible collapse
• Inadmissible recursion theory
• On the Jump of an α-Recursively Enumerable Set
• On α- and β-recursively enumerable degrees
• Recursive Enumerability and the Jump Operator
• Splitting an α-Recursively Enumerable Set
• The recursively enumerable α-degrees are dense
• The α-finite injury method

This page was built for publication: Inverting the Half-Jump

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3674638)