Switch to: References

Add citations

You must login to add citations.
  1. 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  
  • Inner model operators in L.Mitch Rudominer - 2000 - Annals of Pure and Applied Logic 101 (2-3):147-184.
    An inner model operator is a function M such that given a Turing degree d, M is a countable set of reals, d M, and M has certain closure properties. The notion was introduced by Steel. In the context of AD, we study inner model operators M such that for a.e. d, there is a wellorder of M in L). This is related to the study of mice which are below the minimal inner model with ω Woodin cardinals. As a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The envelope of a pointclass under a local determinacy hypothesis.Trevor M. Wilson - 2015 - Annals of Pure and Applied Logic 166 (10):991-1018.
    Download  
     
    Export citation  
     
    Bookmark   2 citations