Hyperhypersimple supersets in admissible recursion theory

DOI10.2307/2273333zbMath0575.03032OpenAlexW2113917802MaRDI QIDQ3693522

No author found.

Publication date: 1983

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

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

zbMATH Keywords

automorphismsrecursive setsorder typescomplementalpha-recursionlattice of r.e. setsadmissible ordinalcomplete degree

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items

Global and local admissibility. II. Major subsets and automorphisms

Cites Work

• Major subsets of \(\alpha\)-recursively enumerable sets
• Maximal sets in \(\alpha\)-recursion theory
• Hyperhypersimple α-r.e. sets
• α-Degrees of maximal α-r.e. sets
• Degrees of recursively enumerable sets which have no maximal supersets
• Some minimal pairs of α-recursively enumerable degrees