Normalizing notations in the Ershov hierarchy. Issue 4 (20th November 2021)

• Record Type: Journal Article
• Authors: Peng, Cheng
• Is Part Of: Mathematical logic quarterly. Volume 67:Issue 4(2021)
• Page Start: 506
• Page End: 513
• Publication Date: 2021-11-20
• Subjects: Mathematics -- Periodicals; Logic, Symbolic and mathematical -- Periodicals; 511.3
• DOI: 10.1002/malq.202100004
• Languages: English
• ISSNs: 0942-5616

Abstract

Abstract: 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 higher levels in the Ershov hierarchy. Furthermore, we also investigate the minimal degrees in the infinite levels of the Ershov hierarchy.