Switch to: Citations

Add references

You must login to add references.
  1. External cofinalities and the antichain condition in partial orders.Isaac Gorelic - 2006 - Annals of Pure and Applied Logic 140 (1):104-109.
    Does every partial order of singular cofinality λ have an antichain of size ? This is the Singular Cofinality Conjecture. M. Pouzet proved [M. Pouzet, Parties cofinales des ordres partiels ne contenant pas d’antichaines infinies, 1980, preprint] that there must be an infinite antichain. When is uncountable, the positive answer is only consistently true, but unknown in ZFC. In this note we investigate this question from the purely set-theoretic point of view. On the way, we answer a question of Milner (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Strong compactness and other cardinal sins.Jussi Ketonen - 1972 - Annals of Mathematical Logic 5 (1):47.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • (1 other version)The covering lemma for K.Tony Dodd & Ronald Jensen - 1982 - Annals of Mathematical Logic 22 (1):1-30.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • (1 other version)The core model.A. Dodd & R. Jensen - 1981 - Annals of Mathematical Logic 20 (1):43-75.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • The strenght of the failure of the singular cardinal hypothesis.Moti Gitik - 1991 - Annals of Pure and Applied Logic 51 (3):215-240.
    We show that o = k++ is necessary for ¬SCH. Together with previous results it provides the exact strenght of ¬SCH.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • On the consistency strength of the Milner–Sauer conjecture.Assaf Rinot - 2006 - Annals of Pure and Applied Logic 140 (1):110-119.
    In their paper from 1981, Milner and Sauer conjectured that for any poset P,≤, if , then P must contain an antichain of cardinality κ. The conjecture is consistent and known to follow from GCH-type assumptions. We prove that the conjecture has large cardinals consistency strength in the sense that its negation implies, for example, the existence of a measurable cardinal in an inner model. We also prove that the conjecture follows from Martin’s Maximum and holds for all singular λ (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations