Switch to: References

Add citations

You must login to add citations.
  1. Normalizing notations in the Ershov hierarchy.Cheng Peng - 2021 - Mathematical Logic Quarterly 67 (4):506-513.
    The Turing degrees of infinite levels of the Ershov hierarchy were studied by Liu and Peng [8]. In this paper, we continue the study of Turing degrees of infinite levels and lift the study of density property to the levels beyond ω2. In doing so, we rely on notations with some nice properties. We introduce the concept of normalizing notations and generate normalizing notations for higher levels. The generalizations of the weak density theorem and the nondensity theorem are proved for (...)
    Download  
     
    Export citation  
     
    Bookmark