Switch to: Citations

Add references

You must login to add references.
  1. 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  
  • Set mapping reflection.Justin Tatch Moore - 2005 - Journal of Mathematical Logic 5 (1):87-97.
    In this note we will discuss a new reflection principle which follows from the Proper Forcing Axiom. The immediate purpose will be to prove that the bounded form of the Proper Forcing Axiom implies both that 2ω = ω2 and that [Formula: see text] satisfies the Axiom of Choice. It will also be demonstrated that this reflection principle implies that □ fails for all regular κ > ω1.
    Download  
     
    Export citation  
     
    Bookmark   35 citations