Projective forcing

Annals of Pure and Applied Logic 86 (3):237-266 (1997)

Authors
Abstract
We study the projective posets and their properties as forcing notions. We also define Martin's axiom restricted to projective sets, MA, and show that this axiom is weaker than full Martin's axiom by proving the consistency of ZFC + ¬lCH + MA with “there exists a Suslin tree”, “there exists a non-strong gap”, “there exists an entangled set of reals” and “there exists κ < 20 such that 20 < 2k”
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/s0168-0072(96)00035-8
Options
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,330
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

Internal Cohen Extensions.D. A. Martin & R. M. Solovay - 1970 - Annals of Mathematical Logic 2 (2):143-178.
Some Exact Equiconsistency Results in Set Theory.Leo Harrington & Saharon Shelah - 1985 - Notre Dame Journal of Formal Logic 26 (2):178-188.
The Independence of the Continuum Hypothesis.Paul J. Cohen - 1963 - Proceedings of the National Academy of Sciences of the United States of America 50 (6):1143--8.
Trees.Thomas J. Jech - 1971 - Journal of Symbolic Logic 36 (1):1-14.

View all 15 references / Add more references

Citations of this work BETA

Solovay Models and Forcing Extensions.Joan Bagaria & Roger Bosch - 2004 - Journal of Symbolic Logic 69 (3):742-766.
Proper Forcing Extensions and Solovay Models.Joan Bagaria & Roger Bosch - 2003 - Archive for Mathematical Logic 43 (6):739-750.
Preserving Non-Null with Suslin+ Forcings.Jakob Kellner - 2006 - Archive for Mathematical Logic 45 (6):649-664.
Thin Equivalence Relations and Inner Models.Philipp Schlicht - 2014 - Annals of Pure and Applied Logic 165 (10):1577-1625.

Add more citations

Similar books and articles

Solovay Models and Forcing Extensions.Joan Bagaria & Roger Bosch - 2004 - Journal of Symbolic Logic 69 (3):742-766.
Proper Forcing Extensions and Solovay Models.Joan Bagaria & Roger Bosch - 2003 - Archive for Mathematical Logic 43 (6):739-750.
Projective Absoluteness for Sacks Forcing.Daisuke Ikegami - 2009 - Archive for Mathematical Logic 48 (7):679-690.
Projective Well-Orderings of the Reals.Andrés Eduardo Caicedo & Ralf Schindler - 2006 - Archive for Mathematical Logic 45 (7):783-793.
Projective Well-Orderings and Bounded Forcing Axioms.Andrés Eduardo Caicedo - 2005 - Journal of Symbolic Logic 70 (2):557 - 572.
Bounded Forcing Axioms as Principles of Generic Absoluteness.Joan Bagaria - 2000 - Archive for Mathematical Logic 39 (6):393-401.
Mathias Absoluteness and the Ramsey Property.Lorenz Halbeisen & Haim Judah - 1996 - Journal of Symbolic Logic 61 (1):177-194.
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.
A Formalism for Some Class of Forcing Notions.Piotr Koszmider & P. Koszmider - 1992 - Mathematical Logic Quarterly 38 (1):413-421.
Distributive Proper Forcing Axiom and Cardinal Invariants.Huiling Zhu - 2013 - Archive for Mathematical Logic 52 (5-6):497-506.

Analytics

Added to PP index
2014-01-16

Total views
21 ( #441,346 of 2,285,998 )

Recent downloads (6 months)
6 ( #196,884 of 2,285,998 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature