Switch to: Citations

Add references

You must login to add references.
  1. Squares, scales and stationary reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
    Since the work of Gödel and Cohen, which showed that Hilbert's First Problem was independent of the usual assumptions of mathematics, there have been a myriad of independence results in many areas of mathematics. These results have led to the systematic study of several combinatorial principles that have proven effective at settling many of the important independent statements. Among the most prominent of these are the principles diamond and square discovered by Jensen. Simultaneously, attempts have been made to find suitable (...)
    Download  
     
    Export citation  
     
    Bookmark   105 citations  
  • (1 other version)Square in core models.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.
    We prove that in all Mitchell-Steel core models, □ κ holds for all κ. (See Theorem 2.). From this we obtain new consistency strength lower bounds for the failure of □ κ if κ is either singular and countably closed, weakly compact, or measurable. (Corallaries 5, 8, and 9.) Jensen introduced a large cardinal property that we call subcompactness; it lies between superstrength and supercompactness in the large cardinal hierarchy. We prove that in all Jensen core models, □ κ holds (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • General Topology.John L. Kelley - 1962 - Journal of Symbolic Logic 27 (2):235-235.
    Download  
     
    Export citation  
     
    Bookmark   111 citations  
  • Many-times huge and superhuge cardinals.Julius B. Barbanel, Carlos A. Diprisco & It Beng Tan - 1984 - Journal of Symbolic Logic 49 (1):112-122.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Some strong axioms of infinity incompatible with the axiom of constructibility.Frederick Rowbottom - 1971 - Annals of Mathematical Logic 3 (1):1.
    Download  
     
    Export citation  
     
    Bookmark   21 citations