The recursively enumerable α-degrees are dense
From MaRDI portal
Publication:4152525
DOI10.1016/0003-4843(76)90007-3zbMath0374.02022OpenAlexW2015329474MaRDI QIDQ4152525
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
Related Items
Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory ⋮ On the embedding of α-recursive presentable lattices into the α-recursive degrees below 0′ ⋮ Degree theory on \(\aleph_\omega\) ⋮ Discrete Transfinite Computation ⋮ Inverting the Half-Jump ⋮ The Sacks density theorem and Σ2-bounding ⋮ Tabular degrees in \(\alpha\)-recursion theory ⋮ A HIERARCHY OF COMPUTABLY ENUMERABLE DEGREES ⋮ Intermediate β-r.e. degrees and the half-jump ⋮ On minimal pairs and minimal degrees in higher recursion theory ⋮ Inadmissible recursion theory ⋮ The irregular and non-hyperregular \(\alpha\)-r.e. degrees ⋮ Cohesive Sets: Countable and Uncountable ⋮ The Role of True Finiteness in the Admissible Recursively Enumerable Degrees ⋮ THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES ⋮ A lift of a theorem of Friedberg: A Banach-Mazur functional that coincides with no α-recursive functional on the class of α-recursive functions
This page was built for publication: The recursively enumerable α-degrees are dense
