Switch to: Citations

Add references

You must login to add references.
  1. The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings.Akihiro Kanamori - 1994 - Springer.
    This is the softcover reprint of the very popular hardcover edition. The theory of large cardinals is currently a broad mainstream of modern set theory, the main area of investigation for the analysis of the relative consistency of mathematical propositions and possible new axioms for mathematics. The first of a projected multi-volume series, this book provides a comprehensive account of the theory of large cardinals from its beginnings and some of the direct outgrowths leading to the frontiers of contemporary research. (...)
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Woodin cardinals and presaturated ideals.Noa Goldring - 1992 - Annals of Pure and Applied Logic 55 (3):285-303.
    Models of set theory are constructed where the non-stationary ideal on PΩ1λ is presaturated. The initial model has a Woodin cardinal. Using the Lévy collapse the Woodin cardinal becomes λ+ in the final model. These models provide new information about the consistency strength of a presaturated ideal onPΩ1λ for λ greater than Ω1.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (1 other version)A basis theorem for perfect sets.Marcia J. Groszek & Theodore A. Slaman - 1998 - Bulletin of Symbolic Logic 4 (2):204-209.
    We show that if there is a nonconstructible real, then every perfect set has a nonconstructible element, answering a question of K. Prikry. This is a specific instance of a more general theorem giving a sufficient condition on a pair $M\subset N$ of models of set theory implying that every perfect set in N has an element in N which is not in M.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal.W. Hugh Woodin - 2002 - Bulletin of Symbolic Logic 8 (1):91-93.
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • The canonical function game.Paul B. Larson - 2005 - Archive for Mathematical Logic 44 (7):817-827.
    The canonical function game is a game of length ω1 introduced by W. Hugh Woodin which falls inside a class of games known as Neeman games. Using large cardinals, we show that it is possible to force that the game is not determined. We also discuss the relationship between this result and Σ22 absoluteness, cardinality spectra and Π2 maximality for H(ω2) relative to the Continuum Hypothesis.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A uniqueness theorem for iterations.Paul Larson - 2002 - Journal of Symbolic Logic 67 (4):1344-1350.
    If M is a countable transitive model of $ZFC+MA_{\aleph_{1}}$ , then for every real x there is a unique shortest iteration $j: M \rightarrow N$ with $x \in N$ , or none at all.
    Download  
     
    Export citation  
     
    Bookmark   2 citations