The Largest Countable Inductive Set is a Mouse Set

The Journal of Symbolic Logic, 64(1999), pp. 443-459


We show that the set of reals in the canonical inner model for the theory ZFC - Replacement + "There exists omega Woodin cardinals cofinal in the ordinals" is equal to the largest countable inductive set of reals.

Research Areas