Switch to: References

Add citations

You must login to add citations.
  1. 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 (3 more)  
     
    Export citation  
     
    Bookmark  
  • Generic at.Vincenzo Dimonte - 2018 - Mathematical Logic Quarterly 64 (1-2):118-132.
    In this paper we introduce a generic large cardinal akin to, together with the consequences of being such a generic large cardinal. In this case is Jónsson, and in a choiceless inner model many properties hold that are in contrast with pcf theory in.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•