Order:
  1.  28
    MAω1(S)[S] does not imply ????2.Yinhe Peng & Liuzhen Wu - 2023 - Journal of Mathematical Logic 24 (3).
    We construct a model in which MA[Formula: see text] holds and [Formula: see text] fails. This shows that MA[Formula: see text] does not imply [Formula: see text] and answers an old question of Larson and Todorcevic in [Katetov’s problem, Trans. Amer. Math. Soc. 354(5) (2002) 1783–1791]. We also investigate different strong colorings in models of MA[Formula: see text].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  36
    Basis theorems for -sets.Chi Tat Chong, Liuzhen Wu & Liang Yu - 2019 - Journal of Symbolic Logic 84 (1):376-387.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  29
    Definable normal measures.Sy-David Friedman & Liuzhen Wu - 2015 - Annals of Pure and Applied Logic 166 (1):46-60.
  4.  29
    Local club condensation and l-likeness.Peter Holy, Philip Welch & Liuzhen Wu - 2015 - Journal of Symbolic Logic 80 (4):1361-1378.
  5.  1
    MA[math] does not imply [math].Yinhe Peng & Liuzhen Wu - 2023 - Journal of Mathematical Logic 24 (3).
    Journal of Mathematical Logic, Volume 24, Issue 03, December 2024. We construct a model in which MA[math] holds and [math] fails. This shows that MA[math] does not imply [math] and answers an old question of Larson and Todorcevic in [Katetov’s problem, Trans. Amer. Math. Soc. 354(5) (2002) 1783–1791]. We also investigate different strong colorings in models of MA[math].
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  24
    Set forcing and strong condensation for H.Liuzhen Wu - 2015 - Journal of Symbolic Logic 80 (1):56-84.
    The Axiom of Strong Condensation, first introduced by Woodin in [14], is an abstract version of the Condensation Lemma ofL. In this paper, we construct a set-sized forcing to obtain Strong Condensation forH. As an application, we show that “ZFC + Axiom of Strong Condensation +”is consistent, which answers a question in [14]. As another application, we give a partial answer to a question of Jech by proving that “ZFC + there is a supercompact cardinal + any ideal onω1which is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark