TY - RPRT TI - Forcing and the Halpern-Läuchli Theorem AU - Natasha Dobrinen AU - Dan Hathaway PY - 2019 UR - https://arxiv.org/abs/1706.08174 ID - 1706.08174 ER -