The recursively enumerable α-degrees are dense

DOI10.1016/0003-4843(76)90007-3zbMATH Open0374.02022OpenAlexW2015329474MaRDI QIDQ4152525FDOQ4152525

Authors: Richard A. Shore 

Publication date: 1976

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(76)90007-3

Mathematics Subject Classification ID

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

Cited In (16)

• Inadmissible recursion theory
• Cohesive Sets: Countable and Uncountable
• The Role of True Finiteness in the Admissible Recursively Enumerable Degrees
• Inverting the Half-Jump
• Intermediate β-r.e. degrees and the half-jump
• On minimal pairs and minimal degrees in higher recursion theory
• Degree theory on \(\aleph_\omega\)
• THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES
• The Sacks density theorem and Σ₂-bounding
• A lift of a theorem of Friedberg: A Banach-Mazur functional that coincides with no α-recursive functional on the class of α-recursive functions
• Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory
• Discrete transfinite computation models
• On the embedding of α-recursive presentable lattices into the α-recursive degrees below 0′
• A HIERARCHY OF COMPUTABLY ENUMERABLE DEGREES
• Tabular degrees in \(\alpha\)-recursion theory
• The irregular and non-hyperregular \(\alpha\)-r.e. degrees

This page was built for publication: The recursively enumerable α-degrees are dense

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