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)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 84,108

External links

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

Through your library

Similar books and articles

The index set $\{e: WE \Equiv1 X\}$.E. Herrmann - 1986 - Journal of Symbolic Logic 51 (1):110 - 116.
Beknopte index van plaatsnamen index - Index sommaire des noms de lieux.[author unknown] - 1996 - Revue Belge de Philologie Et D’Histoire 74 (b):276-293.
Beknopte index van plaatsnamen index - Index sommaire des noms de lieux.[author unknown] - 1997 - Revue Belge de Philologie Et D’Histoire 75 (b):279-295.
Beknopte index van plaatsnamen index - Index sommaire des noms de lieux.[author unknown] - 2000 - Revue Belge de Philologie Et D’Histoire 78 (b):253-266.
Index sets in the arithmetical Hierarchy.Ulrike Brandt - 1988 - Annals of Pure and Applied Logic 37 (2):101-110.
Index sets for Π01 classes.Douglas Cenzer & Jeffrey Remmel - 1998 - Annals of Pure and Applied Logic 93 (1-3):3-61.
Index sets and parametric reductions.Rod G. Downey & Michael R. Fellows - 2001 - Archive for Mathematical Logic 40 (5):329-348.
Lusin-sierpinski index for the internal sets.Boško Živaljević - 1992 - Journal of Symbolic Logic 57 (1):172 - 178.
Kleene index sets and functional m-degrees.Jeanleah Mohrherr - 1983 - Journal of Symbolic Logic 48 (3):829-840.

Analytics

Added to PP
2016-06-30

Downloads
8 (#1,033,014)

6 months
1 (#511,561)

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