The index set {e: We ≡1X}

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273947

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

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.
Index sets and parametric reductions.Rod G. Downey & Michael R. Fellows - 2001 - Archive for Mathematical Logic 40 (5):329-348.
Review: C. E. M. Yates, On the Degrees of Index Sets. [REVIEW]Louise Hay - 1974 - Journal of Symbolic Logic 39 (2):344-344.
The theory of the recursively enumerable weak truth-table degrees is undecidable.Klaus Ambos-Spies, André Nies & Richard A. Shore - 1992 - Journal of Symbolic Logic 57 (3):864-874.
Free set algebras satisfying systems of equations.G. Aldo Antonelli - 1999 - Journal of Symbolic Logic 64 (4):1656-1674.
Free Set Algebras Satisfying Systems of Equations.G. Antonelli - 1999 - Journal of Symbolic Logic 64 (4):1656-1674.
Noncappable enumeration degrees below 0'e. [REVIEW]S. Barry Cooper & Andrea Sorbi - 1996 - Journal of Symbolic Logic 61 (4):1347 - 1363.
Review: T. E. Forster, Set Theory with a Universal Set. Exploring an Untyped Universe. [REVIEW]M. Randall Holmes - 1996 - Journal of Symbolic Logic 61 (4):1392-1393.
Review: T. E. Forster, Set Theory with a Universal Set. Exploring an Untyped Universe. [REVIEW]Randall Holmes - 1993 - Journal of Symbolic Logic 58 (2):725-728.
Stable Models and Reflexive Banach Spaces.Jose Iovino - 1999 - Journal of Symbolic Logic 64 (4):1595-1600.

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,205,838)

6 months
2 (#1,446,842)

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):3-61.
Index sets for< i> Π_< sup> 0< sub> 1 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