Mouse Sets

(Abstract)

A mouse set is the set of reals in a mouse. Investigation of mouse sets lie in the heart of applications of inner model theoretic ideas to descriptive set theory. In this talk I will introduce mouse sets of L, M_n, etc, which also have descriptive set theoretic meanings themselves. The ultimate goal will be discussed, including Steel-Woodin's mouse set conjecture.