TY - RPRT TI - Lifting countable to uncountable mathematics AU - Sam Sanders PY - 2020 UR - https://arxiv.org/abs/1908.05677 ID - 1908.05677 ER -