TY  - RPRT
TI  - The Axiom of Choice in Computability Theory and Reverse Mathematics, with a cameo for the Continuum Hypothesis
AU  - Dag Normann
AU  - Sam Sanders
PY  - 2020
UR  - https://arxiv.org/abs/2006.01614
ID  - 2006.01614
ER  -