Weak Density and Nondensity among Transfinite Levels of the Ershov Hierarchy

&
Notre Dame Journal of Formal Logic 61 (4):521-536 (2020)
  Copy   BIBTEX

Abstract

We show that for any ω-r.e. degree d and n-r.e. degree b with d

Categories

Keywords

Reprint years

DOI

10.1215/00294527-2020-0023

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Rice and Rice-Shapiro Theorems for transfinite correction grammars.John Case & Sanjay Jain - 2011 - Mathematical Logic Quarterly 57 (5):504-516.
Recursive Structures and Ershov's Hierarchy.Christopher J. Ash & Julia F. Knight - 1996 - Mathematical Logic Quarterly 42 (1):461-468.
On Genericity and Ershov's Hierarchy.Amy Gale & Rod Downey - 2001 - Mathematical Logic Quarterly 47 (2):161-182.
The discrete parts of approximately decidable sets in Euclidean spaces.Armin Hemmerling - 2003 - Mathematical Logic Quarterly 49 (4):428.
The Hausdorff-Ershov Hierarchy in Euclidean Spaces.Armin Hemmerling - 2006 - Archive for Mathematical Logic 45 (3):323-350.
On Σ₁-Structural Differences among Finite Levels of the Ershov Hierarchy.Yue Yang & Liang Yu - 2006 - Journal of Symbolic Logic 71 (4):1223 - 1236.
Characterizations of the class ~2^t^a over Euclidean spaces.Armin Hemmerling - 2004 - Mathematical Logic Quarterly 50 (4):507.
Weak computability and representation of reals.Xizhong Zheng & Robert Rettinger - 2004 - Mathematical Logic Quarterly 50 (4-5):431-442.
A transfinite hierarchy of reals.George Barmpalias - 2003 - Mathematical Logic Quarterly 49 (2):163-172.
Asymptotic density and the Ershov hierarchy.Rod Downey, Carl Jockusch, Timothy H. McNicholl & Paul Schupp - 2015 - Mathematical Logic Quarterly 61 (3):189-195.
Characterizations of the class Δ ta 2 over Euclidean spaces.Armin Hemmerling - 2004 - Mathematical Logic Quarterly 50 (4-5):507-519.
Computable categoricity and the Ershov hierarchy.Bakhadyr Khoussainov, Frank Stephan & Yue Yang - 2008 - Annals of Pure and Applied Logic 156 (1):86-95.
Mind as a nested operational architectonics of the brain.Andrew A. Fingelkurts & Alexander A. Fingelkurts - 2012 - Physics of Life Reviews 9 (1):49-50.
Equivalence structures and isomorphisms in the difference hierarchy.Douglas Cenzer, Geoffrey LaForte & Jeffrey Remmel - 2009 - Journal of Symbolic Logic 74 (2):535-556.
The d.r.e. degrees are not dense.S. Cooper, Leo Harrington, Alistair Lachlan, Steffen Lempp & Robert Soare - 1991 - Annals of Pure and Applied Logic 55 (2):125-151.

Analytics

Added to PP
2020-12-23

Downloads
3 (#1,682,188)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yong Liu
Shandong University

Citations of this work

Normalizing notations in the Ershov hierarchy.Cheng Peng - 2021 - Mathematical Logic Quarterly 67 (4):506-513.

Add more citations

References found in this work

The d.r.e. degrees are not dense.S. Cooper, Leo Harrington, Alistair Lachlan, Steffen Lempp & Robert Soare - 1991 - Annals of Pure and Applied Logic 55 (2):125-151.
Isolated maximal d.r.e. degrees.Yong Liu - 2019 - Annals of Pure and Applied Logic 170 (4):515-538.

View all 8 references / Add more references