Switch to: References

Add citations

You must login to add citations.
  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  
  • Descriptive inner model theory.Grigor Sargsyan - 2013 - Bulletin of Symbolic Logic 19 (1):1-55.
    The purpose of this paper is to outline some recent progress in descriptive inner model theory, a branch of set theory which studies descriptive set theoretic and inner model theoretic objects using tools from both areas. There are several interlaced problems that lie on the border of these two areas of set theory, but one that has been rather central for almost two decades is the conjecture known as the Mouse Set Conjecture. One particular motivation for resolving MSC is that (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Forcing lightface definable well-orders without the GCH.David Asperó, Peter Holy & Philipp Lücke - 2015 - Annals of Pure and Applied Logic 166 (5):553-582.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Coding by club-sequences.David Asperó - 2006 - Annals of Pure and Applied Logic 142 (1):98-114.
    Given any subset A of ω1 there is a proper partial order which forces that the predicate xA and the predicate xω1A can be expressed by -provably incompatible Σ3 formulas over the structure Hω2,,NSω1. Also, if there is an inaccessible cardinal, then there is a proper partial order which forces the existence of a well-order of Hω2 definable over Hω2,,NSω1 by a provably antisymmetric Σ3 formula with two free variables. The proofs of these results involve a technique for manipulating the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Martin's axiom and well-ordering of the reals.Uri Abraham & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5):287-298.
    Download  
     
    Export citation  
     
    Bookmark   1 citation