Journal of Symbolic Logic 78 (1):237-244 (2013)

Abstract
The Axiom of Projective Determinacy implies the existence of a universal $\utilde{\Pi}^{1}_{n}\setminus\utilde{\Delta}^{1}_{n}$ set for every $n \geq 1$. Assuming $\text{\upshape MA}(\aleph_{1})+\aleph_{1}=\aleph_{1}^{\mathbb{L}}$ there exists a universal $\utilde{\Pi}^{1}_{1}\setminus\utilde{\Delta}^{1}_{1}$ set. In ZFC there is a universal $\utilde{\Pi}^{0}_{\alpha}\setminus\utilde{\Delta}^{0}_{\alpha}$ set for every $\alpha$
Keywords Universal sets   Projective Determancy   Wadge reducibility   Constructible Universe   Martin's Axiom
Categories (categorize this paper)
DOI 10.2178/jsl.7801160
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,759
Through your library

References found in this work BETA

Set Theory.Keith J. Devlin - 1981 - Journal of Symbolic Logic 46 (4):876-877.
Internal Cohen Extensions.D. A. Martin & R. M. Solovay - 1970 - Annals of Mathematical Logic 2 (2):143-178.
Long Projective Wellorderings.Leo Harrington - 1977 - Annals of Mathematical Logic 12 (1):1.
Descriptive Set Theory.Yiannis Nicholas Moschovakis - 1982 - Studia Logica 41 (4):429-430.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Cardinalities in the Projective Hierarchy.Greg Hjorth - 2002 - Journal of Symbolic Logic 67 (4):1351-1372.
The Iterative Conception of Set.Thomas Forster - 2008 - Review of Symbolic Logic 1 (1):97-110.
Countable Functionals and the Projective Hierarchy.Dag Normann - 1981 - Journal of Symbolic Logic 46 (2):209-215.
A Maximal Bounded Forcing Axiom.David Asperó - 2002 - Journal of Symbolic Logic 67 (1):130-142.
Ω-Powers and Descriptive Set Theory.Dominique Lecomte - 2005 - Journal of Symbolic Logic 70 (4):1210-1232.
Monotone Reducibility and the Family of Infinite Sets.Douglas Cenzer - 1984 - Journal of Symbolic Logic 49 (3):774-782.
Undecidable Theories of Lyndon Algebras.Vera Stebletsova & Yde Venema - 2001 - Journal of Symbolic Logic 66 (1):207-224.
Objectivity in Ethics.K. E. Baier - 1948 - Australasian Journal of Philosophy 26 (3):147 – 165.

Analytics

Added to PP index
2013-01-24

Total views
37 ( #282,865 of 2,432,576 )

Recent downloads (6 months)
2 ( #294,790 of 2,432,576 )

How can I increase my downloads?

Downloads

My notes