6 found
Order:
  1.  14
    Rank-Into-Rank Hypotheses and the Failure of GCH.Vincenzo Dimonte & Sy-David Friedman - 2014 - Archive for Mathematical Logic 53 (3-4):351-366.
  2.  10
    LD-Algebras Beyond I0.Vincenzo Dimonte - 2019 - Notre Dame Journal of Formal Logic 60 (3):395-405.
    The algebra of embeddings at the I3 level has been deeply analyzed, but nothing is known algebra-wise for embeddings above I3. In this article, we introduce an operation for embeddings at the level of I0 and above, and prove that they generate an LD-algebra that can be quite different from the one implied by I3.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  14
    The Iterability Hierarchy Above $${{\Mathrm{\Mathsf {I3}}}}$$ I 3.Alessandro Andretta & Vincenzo Dimonte - 2019 - Archive for Mathematical Logic 58 (1-2):77-97.
    In this paper we introduce a new hierarchy of large cardinals between \ and \, the iterability hierarchy, and we prove that every step of it strongly implies the ones below.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  9
    Ralf Schindler, Set Theory: Exploring Independence and Truth. Springer International Publishing, 2014, Pp. 332+X. ISBN: 978-3-319-06724-7 $79.99, ISBN: 978-3-319-06725-4 $59.99. [REVIEW]Vincenzo Dimonte - 2018 - Studia Logica 106 (2):449-452.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  6
    Generic I0 at ℵω.Vincenzo Dimonte - 2018 - Mathematical Logic Quarterly 64 (1-2):118-132.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  4
    The Iterability Hierarchy Above $${{\Mathrm{\Mathsf {I3}}}}$$I3.Alessandro Andretta & Vincenzo Dimonte - forthcoming - Archive for Mathematical Logic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark