Switch to: References

Add citations

You must login to add citations.
  1. Specializing Aronszajn Trees with Strong Axiom A and Halving.Heike Mildenberger & Saharon Shelah - 2019 - Notre Dame Journal of Formal Logic 60 (4):587-616.
    We construct creature forcings with strong Axiom A that specialize a given Aronszajn tree. We work with tree creature forcing. The creatures that live on the Aronszajn tree are normed and have the halving property. We show that our models fulfill ℵ1=d
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Many countable support iterations of proper forcings preserve Souslin trees.Heike Mildenberger & Saharon Shelah - 2014 - Annals of Pure and Applied Logic 165 (2):573-608.
    We show that many countable support iterations of proper forcings preserve Souslin trees. We establish sufficient conditions in terms of games and we draw connections to other preservation properties. We present a proof of preservation properties in countable support iterations in the so-called Case A that does not need a division into forcings that add reals and those who do not.
    Download  
     
    Export citation  
     
    Bookmark  
  • Creatures on ω 1 and weak diamonds.Heike Mildenberger - 2009 - Journal of Symbolic Logic 74 (1):1-16.
    We specialise Aronszajn trees by an $\omega ^\omega $ -bounding forcing that adds reals. We work with creature forcings on uncountable spaces. As an application of these notions of forcing, we answer a question of Moore, Hrušák and Džamonja whether ◇(b) implies the existence of a Souslin tree in a negative way by showing that "◇∂ and every Aronszajn tree is special" is consistent relative to ZFC.
    Download  
     
    Export citation  
     
    Bookmark   1 citation