Proper translation

Heike Mildenberger*, Saharon Shelah

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Abstract

We continue our work on weak diamonds [J. Appl. Anal. 15 (1009)]. We show that 2ω = א2 together with the weak diamond for covering by thin trees, the weak diamond for covering by meagre sets, the weak diamond for covering by null sets, and "all Aronszajn trees are special" is consistent relative to ZFC. We iterate alternately forcings specialising Aronszajn trees without adding reals (the NNR forcing from ["Proper and Improper Forcing", Ch. V]) and <ω1-proper ωω-bounding forcings adding reals. We show that over a tower of elementary submodels there is a sort of a reduction ("proper translation") of our iteration to the countable support iteration of simpler iterands. If we use only Sacks iterands and NNR iterands, this allows us to guess the values of Borel functions into small trees and thus derive the above mentioned weak diamonds.

Original languageEnglish
Pages (from-to)1-38
Number of pages38
JournalFundamenta Mathematicae
Volume215
Issue number1
DOIs
StatePublished - 2011

Keywords

  • Borel computations
  • Specialising Aronszajn trees

Fingerprint

Dive into the research topics of 'Proper translation'. Together they form a unique fingerprint.

Cite this