Switch to: Citations

Add references

You must login to add references.
  1. Scales, squares and reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (1):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   64 citations  
  • Shelah's pcf theory and its applications.Maxim R. Burke & Menachem Magidor - 1990 - Annals of Pure and Applied Logic 50 (3):207-254.
    This is a survey paper giving a self-contained account of Shelah's theory of the pcf function pcf={cf:D is an ultrafilter on a}, where a is a set of regular cardinals such that a
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Combinatorial principles in the core model for one Woodin cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.
    We study the fine structure of the core model for one Woodin cardinal, building of the work of Mitchell and Steel on inner models of the form . We generalize to some combinatorial principles that were shown by Jensen to hold in L. We show that satisfies the statement: “□κ holds whenever κ the least measurable cardinal λ of order λ++”. We introduce a hierarchy of combinatorial principles □κ, λ for 1 λ κ such that □κ□κ, 1 □κ, λ □κ, (...)
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • Fragments of Martin's Maximum in generic extensions.Y. Yoshinobu & B. Konig - 2004 - Mathematical Logic Quarterly 50 (3):297.
    We show that large fragments of MM, e. g. the tree property and stationary reflection, are preserved by strongly -game-closed forcings. PFA can be destroyed by a strongly -game-closed forcing but not by an ω2-closed.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • 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   102 citations  
  • A very weak square principle.Matthew Foreman & Menachem Magidor - 1997 - Journal of Symbolic Logic 62 (1):175-196.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Saharon Shelah, Cardinal Arithmetic. [REVIEW]Saharon Shelah - 1998 - Studia Logica 60 (3):443-448.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
    Download  
     
    Export citation  
     
    Bookmark   269 citations