Proper translation

Tom 215 / 2011

Heike Mildenberger, Saharon Shelah Fundamenta Mathematicae 215 (2011), 1-38 MSC: Primary 03E15, 03E17, 03E35. DOI: 10.4064/fm215-1-1

Streszczenie

We continue our work on weak diamonds [J. Appl. Anal. 15 (1009)]. 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 [“Proper and Improper Forcing”, Ch. V]) 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 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.

Autorzy

  • Heike MildenbergerAbteilung für Mathematische Logik
    Mathematisches Institut
    Universität Freiburg
    Eckerstr. 1
    79104 Freiburg im Breisgau, Germany
    e-mail
  • Saharon ShelahEinstein Institute of Mathematics
    The Hebrew University of Jerusalem
    Edmond Safra Campus Givat Ram
    91904 Jerusalem, Israel
    and
    Mathematics Department
    Rutgers University
    Piscataway, NJ 08854-8019, U.S.A.
    e-mail

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek