TY - RPRT TI - Generic absoluteness and boolean names for elements of a Polish space AU - Andrea Vaccaro AU - Matteo Viale PY - 2016 UR - https://arxiv.org/abs/1607.06213 ID - 1607.06213 ER -