On the Jump of an α-Recursively Enumerable Set
From MaRDI portal
Publication:4110994
DOI10.2307/1997575zbMath0343.02030OpenAlexW4243095941MaRDI QIDQ4110994
Publication date: 1976
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1997575
Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items
\(\Sigma_ 2\) induction and infinite injury priority arguments. II. Tame \(\Sigma_ 2\) coding and the jump operator ⋮ Inverting the Half-Jump ⋮ The irregular and non-hyperregular \(\alpha\)-r.e. degrees