Sh:951

• Mildenberger, H., & Shelah, S. (2011). Proper translation. Fund. Math., 215(1), 1–38. DOI: 10.4064/fm215-1-1 MR: 2851699
• Abstract:
  We continue our work on weak diamonds [MdSh:848]. We show that 2^\omega= \aleph_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 [Sh:f, Ch. IV]) and <\omega_1-proper {}^\omega \omega-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 c.s. 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 mentionedweak diamonds.
• Version 2011-01-01_2 (35p) published version (38p)

@article{Sh:951,
 author = {Mildenberger, Heike and Shelah, Saharon},
 title = {{Proper translation}},
 journal = {Fund. Math.},
 fjournal = {Fundamenta Mathematicae},
 volume = {215},
 number = {1},
 year = {2011},
 pages = {1--38},
 issn = {0016-2736},
 mrnumber = {2851699},
 mrclass = {03E35 (03E15 03E17)},
 doi = {10.4064/fm215-1-1}
}