On the Jump of an α-Recursively Enumerable Set
From MaRDI portal
Publication:4110994
DOI10.2307/1997575zbMath0343.02030MaRDI 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
03D25: Recursively (computably) enumerable sets and degrees
03D30: Other degrees and reducibilities in computability and recursion theory
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
Related Items
The irregular and non-hyperregular \(\alpha\)-r.e. degrees, \(\Sigma_ 2\) induction and infinite injury priority arguments. II. Tame \(\Sigma_ 2\) coding and the jump operator, Inverting the Half-Jump