12 found
Order:
  1.  10
    Itp, Isp and Sch.Sherwood Hachtman & Dima Sinapova - forthcoming - Journal of Symbolic Logic:1-15.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  3
    The Tree Property at ${\Aleph {{\Omega ^2} + 1}}$ and ${\Aleph{{\Omega ^2} + 2}}$.Dima Sinapova & Spencer Unger - 2018 - Journal of Symbolic Logic 83 (2):669-682.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  4
    Combinatorics Atℵω.Dima Sinapova & Spencer Unger - 2014 - Annals of Pure and Applied Logic 165 (4):996-1007.
    We construct a model in which the singular cardinal hypothesis fails at ℵωℵω. We use characterizations of genericity to show the existence of a projection between different Prikry type forcings.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  4.  9
    The Tree Property and the Failure of the Singular Cardinal Hypothesis at ℵ Ω 2.Dima Sinapova - 2012 - Journal of Symbolic Logic 77 (3):934-946.
    We show that given ù many supercompact cardinals, there is a generic extension in which the tree property holds at ℵ ω²+1 and the SCH fails at ℵ ω².
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  7
    The Tree Property at ℵ Ω+1.Dima Sinapova - 2012 - Journal of Symbolic Logic 77 (1):279-290.
    We show that given ω many supercompact cardinals, there is a generic extension in which there are no Aronszajn trees at ℵω+1. This is an improvement of the large cardinal assumptions. The previous hypothesis was a huge cardinal and ω many supercompact cardinals above it, in Magidor—Shelah [7].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  2
    The Tree Property at And.Dima Sinapova & Spencer Unger - 2018 - Journal of Symbolic Logic 83 (2):669-682.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  27
    The Tree Property and the Failure of SCH at Uncountable Cofinality.Dima Sinapova - 2012 - Archive for Mathematical Logic 51 (5-6):553-562.
    Given a regular cardinal λ and λ many supercompact cardinals, we describe a type of forcing such that in the generic extension there is a cardinal κ with cofinality λ, the Singular Cardinal Hypothesis at κ fails, and the tree property holds at κ +.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  30
    John B. Hynes Veterans Memorial Convention Center Boston Marriott Hotel, and Boston Sheraton Hotel Boston, MA January 6–7, 2012. [REVIEW]John Baldwin, Johanna Ny Franklin, C. Ward Henson, Julia F. Knight, Roman Kossak, Dima Sinapova, W. Hugh Woodin & Philip Scowcroft - 2013 - Bulletin of Symbolic Logic 19 (2).
  9.  4
    The Eightfold Way.James Cummings, Sy-David Friedman, Menachem Magidor, Assaf Rinot & Dima Sinapova - 2018 - Journal of Symbolic Logic 83 (1):349-371.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  23
    A Cardinal Preserving Extension Making the Set of Points of Countable V Cofinality Nonstationary.Moti Gitik, Itay Neeman & Dima Sinapova - 2007 - Archive for Mathematical Logic 46 (5-6):451-456.
    Assuming large cardinals we produce a forcing extension of V which preserves cardinals, does not add reals, and makes the set of points of countable V cofinality in κ+ nonstationary. Continuing to force further, we obtain an extension in which the set of points of countable V cofinality in ν is nonstationary for every regular ν ≥ κ+. Finally we show that our large cardinal assumption is optimal.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  12
    A Model for a Very Good Scale and a Bad Scale.Dima Sinapova - 2008 - Journal of Symbolic Logic 73 (4):1361-1372.
    Given a supercompact cardinal κ and a regular cardinal Λ < κ, we describe a type of forcing such that in the generic extension the cofinality of κ is Λ, there is a very good scale at κ, a bad scale at κ, and SCH at κ fails. When creating our model we have great freedom in assigning the value of 2κ, and so we can make SCH hold or fail arbitrarily badly.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  12. Itay Neeman. Forcing with Sequences of Models of Two Types. Notre Dame Journal of Formal Logic, Vol. 55 , Pp. 265–298.Dima Sinapova - 2015 - Bulletin of Symbolic Logic 21 (3):339-341.