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

DOI10.1093/logcom/exaa080OpenAlexW3119916969WikidataQ114009717 ScholiaQ114009717MaRDI QIDQ5028319

Sam Sanders, Dag Normann

Publication date: 8 February 2022

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2006.01614

zbMATH Keywords

reverse mathematicscontinuum hypothesisaxiom of choicehigher-order arithmetichigher-order computability theory

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (8)

Countable sets versus sets that are countable in reverse mathematics ⋮ ON THE UNCOUNTABILITY OF ⋮ Betwixt Turing and Kleene ⋮ Between Turing and Kleene ⋮ Lifting proofs from countable to uncountable mathematics ⋮ The non-normal abyss in Kleene's computability theory ⋮ On the computational properties of the uncountability of the real numbers ⋮ Splittings and robustness for the Heine-Borel theorem

This page was built for publication: The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis