Inverting the Half-Jump
From MaRDI portal
Publication:3674638
DOI10.2307/1999318zbMath0523.03033OpenAlexW4245956918MaRDI QIDQ3674638
No author found.
Publication date: 1983
Full work available at URL: https://doi.org/10.2307/1999318
Cites Work
- Unnamed Item
- A criterion for completeness of degrees of unsolvability
- On α- and β-recursively enumerable degrees
- Splitting an α-Recursively Enumerable Set
- On the Jump of an α-Recursively Enumerable Set
- The recursively enumerable α-degrees are dense
- Inadmissible recursion theory
- Inadmissibility, tame R.E. sets and the admissible collapse
- The α-finite injury method
- Recursive Enumerability and the Jump Operator