TY - RPRT TI - Definable versions of Menger's conjecture AU - Franklin D. Tall PY - 2016 UR - https://arxiv.org/abs/1607.04781 ID - 1607.04781 ER -