The index set {e: We ≡1X}

Journal of Symbolic Logic 51 (1):110-116 (1986)
  Copy   BIBTEX

Abstract

Let X be any infinite, coinfinite r.e. set. We show that the index set $\{e: W_e \equiv_1 X\}$ is Σ 0 3 -complete, answering a question posed by Odifreddi in [2]

Categories

Keywords

Reprint years

DOI

10.2307/2273947

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

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

The index set $\{e: WE \Equiv1 X\}$.E. Herrmann - 1986 - Journal of Symbolic Logic 51 (1):110 - 116.
Codable sets and orbits of computably enumerable sets.Leo Harrington & Robert Soare - 1998 - Journal of Symbolic Logic 63 (1):1-28.
Index sets and parametric reductions.Rod G. Downey & Michael R. Fellows - 2001 - Archive for Mathematical Logic 40 (5):329-348.
The Σ 2 1 theory of axioms of symmetry.Galen Weitkamp - 1989 - Journal of Symbolic Logic 54 (3):727-734.
Limit lemmas and jump inversion in the enumeration degrees.Evan J. Griffiths - 2003 - Archive for Mathematical Logic 42 (6):553-562.
Randomness and Halting Probabilities.VeróNica Becher, Santiago Figueira, Serge Grigorieff & Joseph S. Miller - 2006 - Journal of Symbolic Logic 71 (4):1411 - 1430.
Factorials of infinite cardinals in zf part II: Consistency results.Guozhen Shen & Jiachen Yuan - 2020 - Journal of Symbolic Logic 85 (1):244-270.
Generalized R-Cohesiveness and the Arithmetical Hierarchy: A Correction to "Generalized Cohesiveness".Carl Jockusch & Tamara Lakins - 2002 - Journal of Symbolic Logic 67 (3):1078 - 1082.
A Hierarchy For The Plus Cupping Turing Degrees.Angsheng Li & Yong Wang - 2003 - Journal of Symbolic Logic 68 (3):972-988.
Kleene index sets and functional m-degrees.Jeanleah Mohrherr - 1983 - Journal of Symbolic Logic 48 (3):829-840.

Analytics

Added to PP
2009-01-28

Downloads
68 (#309,654)

6 months
11 (#343,210)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Index sets for Π01 classes.Douglas Cenzer & Jeffrey Remmel - 1998 - Annals of Pure and Applied Logic 93 (1):3-61.

Add more citations

References found in this work

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.

Add more references