Specializing Aronszajn trees and preserving some weak diamonds

H. Mildenberger*, S. Shelah

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

5 Scopus citations

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 languageEnglish
Pages (from-to)47-78
Number of pages32
JournalJournal of Applied Analysis
Volume15
Issue number1
DOIs
StatePublished - Jun 2009

Keywords

  • Forcing
  • Independence from ZFC
  • Special Aronszajn tree
  • Weak diamond

Fingerprint

Dive into the research topics of 'Specializing Aronszajn trees and preserving some weak diamonds'. Together they form a unique fingerprint.

Cite this