The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis

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]

Abstract

Abstract is missing.