TY  - RPRT
TI  - The complexity of the reals in inner models of set theory
AU  - Boban Velickovic
AU  - W. Hugh Woodin
PY  - 1995
UR  - https://arxiv.org/abs/math/9501203
ID  - math/9501203
ER  -