Switch to: Citations

Add references

You must login to add references.
  1. Large cardinals and locally defined well-orders of the universe.David Asperó & Sy-David Friedman - 2009 - Annals of Pure and Applied Logic 157 (1):1-15.
    By forcing over a model of with a class-sized partial order preserving this theory we produce a model in which there is a locally defined well-order of the universe; that is, one whose restriction to all levels H is a well-order of H definable over the structure H, by a parameter-free formula. Further, this forcing construction preserves all supercompact cardinals as well as all instances of regular local supercompactness. It is also possible to define variants of this construction which, in (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Some Results in Polychromatic Ramsey Theory.Uri Abraham, James Cummings & Clifford Smyth - 2007 - Journal of Symbolic Logic 72 (3):865 - 896.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Some results about (+) proved by iterated forcing.Tetsuya Ishiu & Paul B. Larson - 2012 - Journal of Symbolic Logic 77 (2):515-531.
    We shall show the consistency of CH+ᄀ(+) and CH+(+)+ there are no club guessing sequences on ω₁. We shall also prove that ◊⁺ does not imply the existence of a strong club guessing sequence ω₁.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The comparison of various club guessing principles.Tetsuya Ishiu - 2015 - Annals of Pure and Applied Logic 166 (5):583-600.
    Download  
     
    Export citation  
     
    Bookmark   2 citations