Weak density and nondensity among transfinite levels of the Ershov hierarchy

DOI10.1215/00294527-2020-0023MaRDI QIDQ1981983zbMATH OpenOpenAlexFDO

Authors Yong Liu, Cheng Peng

Publication date 7 September 2021

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-2020-0023

zbMATH Keywords

\((\omega+1)\)-r.e. degrees\(n\)-r.e. degreesdensityErshov hierarchynondensity

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Other Turing degree structures (03D28)

Recommendations

• Turing degrees and the Ershov hierarchy
• Normalizing notations in the Ershov hierarchy
• Turing jumps in the Ershov hierarchy
• Density results in the _2⁰ e-degrees
• The density of the low\(_ 2\) \(n\)-r.e. degrees

Cites work

• A minimal degree less than 0’
• scientific article; zbMATH DE number 3342831 (Why is no real title available?)
• Isolated maximal d.r.e. degrees
• On Σ₁-Structural Differences Among Finite Levels of the Ershov Hierarchy
• Relative enumerability in the difference hierarchy
• The \(n\)-r.e. degrees: undecidability and \(\Sigma_1\) substructures
• The d.r.e. degrees are not dense
• The Ershov hierarchy
• The recursively enumerable degrees are dense
• Turing degrees and the Ershov hierarchy

Cited in

(2)

• scientific article; zbMATH DE number 3857081 (Why is no real title available?)
• Normalizing notations in the Ershov hierarchy

This page was built for publication: Weak density and nondensity among transfinite levels of the Ershov hierarchy

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