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 (...)
    Direct download (4 more)  
     
    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.
  • 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 ω₁.
    Direct download (7 more)  
     
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations