The ordertype of β-R.E. sets

DOI10.2307/2274647MaRDI QIDQ3484827zbMATH OpenOpenAlexFDO

Authors K. Sutner

Publication date 1990

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

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

zbMATH Keywords

\(\beta \) -r.e. set\(\beta \) -recursive setslimit ordinalordertype

Mathematics Subject Classification ID

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

Recommendations

• Relativized projecta and \(\beta\)-r. e. sets
• The definability of E(α)
• Definable structures in the lattice of recursively enumerable sets
• Hyperhypersimple supersets in admissible recursion theory
• Characterization of Recursively Enumerable Sets with Supersets Effectively Isomorphic to all Recursively Enumerable Sets

Cites work

• Aspects of constructibility
• Ideals of Generalized Finite Sets in Lattices of α‐Recursively Enumerable Sets
• Post's problem without admissibility
• Recursively invariant β-recursion theory

This page was built for publication: The ordertype of β-R.E. sets

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