The complexity of the reals in inner models of set theory

Boban Velickovic, W. Hugh Woodin

The usual definition of the set of constructible reals is ${\Sigma }_2^1$. This set can have a simpler definition if, for example, it is countable or if every real is constructible. H. Fri…