The ordertype of β-R.E. sets

DOI10.2307/2274647zbMath0705.03026OpenAlexW1582757356MaRDI QIDQ3484827

Klaus 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

limit ordinal\(\beta \) -r.e. set\(\beta \) -recursive setsordertype

Mathematics Subject Classification ID

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

Cites Work

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

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