TY - RPRT TI - Definable maximal discrete sets in forcing extensions AU - David Schrittesser AU - Asger Törnquist PY - 2022 DO - 10.4310/mrl.2018.v25.n5.a11 UR - https://arxiv.org/abs/1510.08781 ID - 1510.08781 ER -