Switch to: Citations

Add references

You must login to add references.
  1. (2 other versions)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   104 citations  
  • (2 other versions)Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.
    Download  
     
    Export citation  
     
    Bookmark   327 citations  
  • Squares and covering matrices.Chris Lambie-Hanson - 2014 - Annals of Pure and Applied Logic 165 (2):673-694.
    Viale introduced covering matrices in his proof that SCH follows from PFA. In the course of the proof and subsequent work with Sharon, he isolated two reflection principles, CP and S, which, under certain circumstances, are satisfied by all covering matrices of a certain shape. Using square sequences, we construct covering matrices for which CP and S fail. This leads naturally to an investigation of square principles intermediate between □κ and □ for a regular cardinal κ. We provide a detailed (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • 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].
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The tree property up to אω+1.Itay Neeman - 2014 - Journal of Symbolic Logic 79 (2):429-459.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Reflecting stationary sets.Menachem Magidor - 1982 - Journal of Symbolic Logic 47 (4):755-771.
    We prove that the statement "For every pair A, B, stationary subsets of ω 2 , composed of points of cofinality ω, there exists an ordinal α such that both A ∩ α and $B \bigcap \alpha$ are stationary subsets of α" is equiconsistent with the existence of weakly compact cardinal. (This completes results of Baumgartner and Harrington and Shelah.) We also prove, assuming the existence of infinitely many supercompact cardinals, the statement "Every stationary subset of ω ω + 1 (...)
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • Notes on Singular Cardinal Combinatorics.James Cummings - 2005 - Notre Dame Journal of Formal Logic 46 (3):251-282.
    We present a survey of combinatorial set theory relevant to the study of singular cardinals and their successors. The topics covered include diamonds, squares, club guessing, forcing axioms, and PCF theory.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • A global version of a theorem of Ben-David and Magidor.Arthur W. Apter & James Cummings - 2000 - Annals of Pure and Applied Logic 102 (3):199-222.
    We prove a consistency result about square principles and stationary reflection which generalises the result of Ben-David and Magidor [4].
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The tree property at successors of singular cardinals.Menachem Magidor & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5-6):385-404.
    Assuming some large cardinals, a model of ZFC is obtained in which $\aleph_{\omega+1}$ carries no Aronszajn trees. It is also shown that if $\lambda$ is a singular limit of strongly compact cardinals, then $\lambda^+$ carries no Aronszajn trees.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Reflection of stationary sets and the tree property at the successor of a singular cardinal.Laura Fontanella & Menachem Magidor - 2017 - Journal of Symbolic Logic 82 (1):272-291.
    Download  
     
    Export citation  
     
    Bookmark   1 citation