More forcing notions imply diamond

DOI10.1007/S001530050047zbMATH Open0871.03038arXivmath/9408215OpenAlexW2592578392MaRDI QIDQ1354343FDOQ1354343

Authors: Andrzej Rosłanowski, S. Shelah 

Publication date: 4 September 1997

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

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} .

Full work available at URL: https://arxiv.org/abs/math/9408215

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 \(\diamondsuit\)
• 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

zbMATH Keywords

continuumdominating numbercardinal invariantproper forcingSacks forcing\(\lozenge_{\omega_ 1}\)

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Other aspects of forcing and Boolean-valued models (03E40)

Cited In (18)

• Collapsing \(\omega _2\) with semi-proper forcing
• Title not available (Why is that?)
• Two Diamonds Are More Than One
• Title not available (Why is that?)
• SILVER ANTICHAINS
• Good sequences for Sacks forcing
• Proper translation
• On forcing without the continuum hypothesis
• Cardinal invariants and the collapse of the continuum by Sacks forcing
• A Sacks amoeba preserving distributivity of $\mathcal {P}(\omega )/\mathrm {fin}$
• Forcing with matrices of countable elementary submodels
• Another \(\diamondsuit\)-like principle
• Tukey reductions of nowhere Ramsey to Silver null sets
• A club guessing toolbox. I
• Generalizations of the diamond property \(\diamondsuit\)
• 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)