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 (...) technical tool, we show that the alternative fine structure theory developed by Mitchell and Steel for mice with Woodin cardinals is equivalent to the traditional fine structure theory developed by Jensen for L. (shrink)

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 (...) it provides grounds for solving the inner model problem which dates back to 1960s. There have been some new partial results on MSC and the methods used to prove the new instances suggest a general program for solving the full conjecture. It is then our goal to communicate the ideas of this program to the community at large. (shrink)