Sacks forcing, Laver forcing, and Martin's axiom
From MaRDI portal
Publication:1190614
DOI10.1007/BF01269943zbMath0755.03026WikidataQ114693987 ScholiaQ114693987MaRDI QIDQ1190614
Saharon Shelah, Arnold W. Miller, Haim Judah
Publication date: 26 September 1992
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
additivity; Martin's axiom; Sacks forcing; Laver forcing; cardinals associated with Marczewski's ideal \(s^ 0\)
03E35: Consistency and independence results
03E50: Continuum hypothesis and Martin's axiom
03E40: Other aspects of forcing and Boolean-valued models
Related Items
Towers on Trees, Generic trees, On Tree Ideals, Happy families and completely Ramsey sets, Combinatorial properties of classical forcing notions, Generic constructions of small sets of reals, Ramsey sets, the Ramsey ideal, and other classes overR
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Parametrized Ellentuck theorem
- Near coherence of filters. III: A simplified consistency proof
- Singular sets and Baire order
- On the consistency of some partition theorems for continuous colorings, and the structure of \(\aleph _ 1\)-dense real order types
- On the general theory of point sets. II
- Set theory. An introduction to independence proofs
- Classical theory of totally imperfect spaces
- On the consistency of Borel's conjecture
- A weak generalization of MA to higher cardinals
- The Generalized Borel Conjecture and Strongly Proper Orders
- [https://portal.mardi4nfdi.de/wiki/Publication:3328537 A Minimal Model for � CH: Iteration of Jensen's Reals]
- Monadic theory of order and topology in ZFC
- Variations on Lusin's Theorem
- Iterated perfect-set forcing
- The Ramsey sets and related sigma algebras and ideals
- Happy families
- ℵ1-TREES
- On a Notion of Smallness for Subsets of the Baire Space
- Decomposing Euclidean space with a small number of smooth sets
- Where MA first fails
- Some new ideals of sets on the real line
- Every analytic set is Ramsey
- The Kunen-Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing)