Mouse Sets

We explore a connection between descriptive set theory and inner model theory. From descriptive set theory, we will take a countable, definable set of reals, A. We will then show that A = ℝ ∩ M, where M is a canonical model from inner model theory. In technical terms, M is a "mouse". Consequently, we say that A is a mouse set.