Souslin forcing

Journal of Symbolic Logic 53 (4):1188-1207 (1988)
Abstract
We define the notion of Souslin forcing, and we prove that some properties are preserved under iteration. We define a weaker form of Martin's axiom, namely MA(Γ + ℵ 0 ), and using the results on Souslin forcing we show that MA(Γ + ℵ 0 ) is consistent with the existence of a Souslin tree and with the splitting number s = ℵ 1 . We prove that MA(Γ + ℵ 0 ) proves the additivity of measure. Also we introduce the notion of proper Souslin forcing, and we prove that this property is preserved under countable support iterated forcing. We use these results to show that ZFC + there is an inaccessible cardinal is equiconsistent with ZFC + the Borel conjecture + Σ 1 2 -measurability
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2274613
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,820
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.

Add more references

Citations of this work BETA
Canonical Models for ℵ1-Combinatorics.Saharon Shelah & Jindr̆ich Zapletal - 1999 - Annals of Pure and Applied Logic 98 (1-3):217-259.
Fragments of Martin's Axiom and Δ13 Sets of Reals.Joan Bagaria - 1994 - Annals of Pure and Applied Logic 69 (1):1-25.
Projective Forcing.Joan Bagaria & Roger Bosch - 1997 - Annals of Pure and Applied Logic 86 (3):237-266.
More on Simple Forcing Notions and Forcings with Ideals.M. Gitik & S. Shelah - 1993 - Annals of Pure and Applied Logic 59 (3):219-238.
The Borel Conjecture.Haim Judah, Saharon Shelah & W. H. Woodin - 1990 - Annals of Pure and Applied Logic 50 (3):255-269.

View all 7 citations / Add more citations

Similar books and articles
On Iterating Semiproper Preorders.Tadatoshi Miyamoto - 2002 - Journal of Symbolic Logic 67 (4):1431-1468.
On the Hanf Number of Souslin Logic.John P. Burgess - 1978 - Journal of Symbolic Logic 43 (3):568-571.
The Bounded Proper Forcing Axiom.Martin Goldstern & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (1):58-73.
The Independence of Δ1n.Amir Leshem & Menachem Magidor - 1999 - Journal of Symbolic Logic 64 (1):350 - 362.
Unfoldable Cardinals and the GCH.Joel David Hamkins - 2001 - Journal of Symbolic Logic 66 (3):1186-1198.
An Smax Variation for One Souslin Tree.Paul Larson - 1999 - Journal of Symbolic Logic 64 (1):81 - 98.
Added to PP index
2009-01-28

Total downloads
10 ( #468,332 of 2,210,133 )

Recent downloads (6 months)
1 ( #382,810 of 2,210,133 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature