Normalizing notations in the Ershov hierarchy. Issue 4 (20th November 2021)
- Record Type:
- Journal Article
- Title:
- Normalizing notations in the Ershov hierarchy. Issue 4 (20th November 2021)
- Main Title:
- Normalizing notations in the Ershov hierarchy
- Authors:
- Peng, Cheng
- 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.
- Is Part Of:
- Mathematical logic quarterly. Volume 67:Issue 4(2021)
- Journal:
- Mathematical logic quarterly
- Issue:
- Volume 67:Issue 4(2021)
- Issue Display:
- Volume 67, Issue 4 (2021)
- Year:
- 2021
- Volume:
- 67
- Issue:
- 4
- Issue Sort Value:
- 2021-0067-0004-0000
- Page Start:
- 506
- Page End:
- 513
- Publication Date:
- 2021-11-20
- Subjects:
- Mathematics -- Periodicals
Logic, Symbolic and mathematical -- Periodicals
511.3 - Journal URLs:
- http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1521-3870 ↗
http://onlinelibrary.wiley.com/ ↗ - DOI:
- 10.1002/malq.202100004 ↗
- Languages:
- English
- ISSNs:
- 0942-5616
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - 5402.430000
British Library DSC - BLDSS-3PM
British Library STI - ELD Digital store - Ingest File:
- 20222.xml