Abstract
We show that ◆(ℝ, N, ∈) together with CH and "all Aronszajn trees are special" is consistent relative to ZFC. The weak diamond for the covering relation of Lebesgue null sets was the only weak diamond in the Cichoń diagramme for relations whose consistency together with "all Aronszajn trees are special" was not yet settled. Our forcing proof gives also new proofs to the known consistencies of several other weak diamonds stemming from the Cichoń diagramme together with "all Aronszajn trees are special" and CH. The main part of our work is an application [15, Chapter V, §§ 1-7] for a special completeness system, such that we have a genericity game. Thus we show new preservation properties of the known forcings.
Original language | English |
---|---|
Pages (from-to) | 47-78 |
Number of pages | 32 |
Journal | Journal of Applied Analysis |
Volume | 15 |
Issue number | 1 |
DOIs | |
State | Published - Jun 2009 |
Keywords
- Forcing
- Independence from ZFC
- Special Aronszajn tree
- Weak diamond