Projective uniformization revisited

Annals of Pure and Applied Logic 103 (1-3):109-153 (2000)

We give an optimal lower bound in terms of large cardinal axioms for the logical strength of projective uniformization in conjuction with other regularity properties of projective sets of real numbers, namely Lebesgue measurability and its dual in the sense of category . Our proof uses a projective computation of the real numbers which code inital segments of a core model and answers a question in Hauser
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/s0168-0072(99)00038-x
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,206
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Covering Lemma Up to a Woodin Cardinal.W. J. Mitchell, E. Schimmerling & J. R. Steel - 1997 - Annals of Pure and Applied Logic 84 (2):219-255.
The Consistency Strength of Projective Absoluteness.Kai Hauser - 1995 - Annals of Pure and Applied Logic 74 (3):245-295.
Strong Cardinals in the Core Model.Kai Hauser & Greg Hjorth - 1997 - Annals of Pure and Applied Logic 83 (2):165-198.
A Minimal Counterexample to Universal Baireness.Kai Hauser - 1999 - Journal of Symbolic Logic 64 (4):1601-1627.
Strong Cardinals and Sets of Reals in Lω1.Ralf-Dieter Schindler - 1999 - Mathematical Logic Quarterly 45 (3):361-369.

Add more references

Citations of this work BETA

The Core Model for Almost Linear Iterations.Ralf-Dieter Schindler - 2002 - Annals of Pure and Applied Logic 116 (1-3):205-272.
Projective Well-Orderings of the Reals.Andrés Eduardo Caicedo & Ralf Schindler - 2006 - Archive for Mathematical Logic 45 (7):783-793.

Add more citations

Similar books and articles

Projective Well-Orderings of the Reals.Andrés Eduardo Caicedo & Ralf Schindler - 2006 - Archive for Mathematical Logic 45 (7):783-793.
Projective Prewellorderings Vs Projective Wellfounded Relations.Xianghui Shi - 2009 - Journal of Symbolic Logic 74 (2):579-596.
Projective Spinor Geometry and Prespace.F. A. M. Frescura - 1988 - Foundations of Physics 18 (8):777-808.
Π 2 1 -Logic and Uniformization in the Analytical Hierarchy.J. P. Ressayre - 1989 - Archive for Mathematical Logic 28 (2):99-117.
Undecidable Theories of Lyndon Algebras.Vera Stebletsova & Yde Venema - 2001 - Journal of Symbolic Logic 66 (1):207-224.
Uniformization Principles.Alan H. Mekler & Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (2):441-459.
A Note on Generic Projective Planes.Koichiro Ikeda - 2002 - Notre Dame Journal of Formal Logic 43 (4):249-254.
Dominique Dubarle et la géométrie projective.Jacques Courcier - 2008 - Revue des Sciences Philosophiques Et Théologiques 92 (3):623-636.


Added to PP index

Total views
15 ( #588,237 of 2,285,636 )

Recent downloads (6 months)
2 ( #575,397 of 2,285,636 )

How can I increase my downloads?


My notes

Sign in to use this feature