Graduate studies at Western
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)|
|Through your library||Configure|
Similar books and articles
Saharon Shelah & Lee J. Stanley (2001). Forcing Many Positive Polarized Partition Relations Between a Cardinal and its Powerset. Journal of Symbolic Logic 66 (3):1359-1370.
Tadatoshi Miyamoto (2002). On Iterating Semiproper Preorders. Journal of Symbolic Logic 67 (4):1431-1468.
Haim Judah & Saharon Shelah (1990). The Kunen-Miller Chart (Lebesgue Measure, the Baire Property, Laver Reals and Preservation Theorems for Forcing). Journal of Symbolic Logic 55 (3):909-927.
John P. Burgess (1978). On the Hanf Number of Souslin Logic. Journal of Symbolic Logic 43 (3):568-571.
Saharon Shelah (1987). Semiproper Forcing Axiom Implies Martin Maximum but Not |mathrmPFA+. Journal of Symbolic Logic 52 (2):360 - 367.
Martin Goldstern & Saharon Shelah (1995). The Bounded Proper Forcing Axiom. Journal of Symbolic Logic 60 (1):58-73.
Amir Leshem & Menachem Magidor (1999). The Independence of Δ1n. Journal of Symbolic Logic 64 (1):350 - 362.
Joel David Hamkins (2001). Unfoldable Cardinals and the GCH. Journal of Symbolic Logic 66 (3):1186-1198.
Gunter Fuchs & Joel David Hamkins (2008). Changing the Heights of Automorphism Towers by Forcing with Souslin Trees Over L. Journal of Symbolic Logic 73 (2):614 - 633.
Paul Larson (1999). An Smax Variation for One Souslin Tree. Journal of Symbolic Logic 64 (1):81 - 98.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #292,723 of 739,521 )
Recent downloads (6 months)0
How can I increase my downloads?