Dag Normann, Sam Sanders. The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis. Journal of Logic and Computation, 31(1):297-325, 2021. [doi]
No references recorded for this publication.
No citations of this publication recorded.