Abstract: We prove that the Sacks forcing collapses the continuum onto the dominating number d, answering the question of Carlson and Laver. Next we prove that if a proper forcing of the size at most continuum collapses omega_2 then it forces diamond_{omega_1} .
Recommendations
- A FORMALISM FOR SOME CLASS OF FORCING NOTIONS
- Forcing axioms, finite conditions and some more
- The diamond covering property axiom
- More on simple forcing notions and forcings with ideals
- Generalizations of the diamond property
- Two Diamonds Are More Than One
- A forcing notion related to Hindman's theorem
- Reasonably complete forcing notions
- Suslin forcing and parametrized ◊ principles
- Notes on forcing axioms
Cited in
(20)- Collapsing \(\omega _2\) with semi-proper forcing
- scientific article; zbMATH DE number 3851642 (Why is no real title available?)
- Two Diamonds Are More Than One
- The diamond covering property axiom
- scientific article; zbMATH DE number 1786788 (Why is no real title available?)
- Good sequences for Sacks forcing
- Proper translation
- On forcing without the continuum hypothesis
- Cardinal invariants and the collapse of the continuum by Sacks forcing
- Silver antichains
- A Sacks amoeba preserving distributivity of $\mathcal {P}(\omega )/\mathrm {fin}$
- Forcing with matrices of countable elementary submodels
- Prevalence of generic Laver diamond
- Another -like principle
- Tukey reductions of nowhere Ramsey to Silver null sets
- Generalizations of the diamond property
- A club guessing toolbox. I
- Combinatorial properties of classical forcing notions
- Antichains of perfect and splitting trees
- More on the weak diamond
This page was built for publication: More forcing notions imply diamond
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1354343)
