Topic summary
Solovay's model
Extracted from the Wikipedia article Solovay model.
Construction
The second step is to construct Solovay's model N as the class of all sets in M[G] that are hereditarily definable over a countable sequence of ordinals. The model N is an inner model of M[G] satisfying ZF + DC such that every set of reals is Lebesgue measurable, has the perfect set property, and has the Baire property. The proof of this uses the fact that every real in M[G] is definable over a countable sequence of ordinals, and hence N and M[G] have the same reals.