Projective uniformization revisited

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

Abstract

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

Links

PhilArchive



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

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

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.

Analytics

Added to PP
2014-01-16

Downloads
23 (#684,172)

6 months
6 (#526,006)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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

References found in this work

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.
Strong Cardinals and Sets of Reals in Lω1.Ralf-Dieter Schindler - 1999 - Mathematical Logic Quarterly 45 (3):361-369.
A minimal counterexample to universal baireness.Kai Hauser - 1999 - Journal of Symbolic Logic 64 (4):1601-1627.

Add more references