TY - RPRT TI - A large Pi-1-2 set absolute for set forcing AU - Sy D. Friedman PY - 1992 UR - https://arxiv.org/abs/math/9212202 ID - math/9212202 ER -