TY - RPRT TI - Reverse mathematics of compact countable second-countable spaces AU - François G. Dorais PY - 2011 UR - https://arxiv.org/abs/1110.6555 ID - 1110.6555 ER -