TY - RPRT TI - Reverse Mathematics of the uncountability of $\mathbb{R}$: Baire classes, metric spaces, and unordered sums AU - Sam Sanders PY - 2020 UR - https://arxiv.org/abs/2011.02915 ID - 2011.02915 ER -