Pages that link to "Item:Q5028319"

The following pages link to The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis (Q5028319):

Displayed 8 items.

• Splittings and robustness for the Heine-Borel theorem (Q2117802) ‎ (← links)
• Betwixt Turing and Kleene (Q2151412) ‎ (← links)
• Between Turing and Kleene (Q2151416) ‎ (← links)
• Lifting proofs from countable to uncountable mathematics (Q2672667) ‎ (← links)
• Countable sets versus sets that are countable in reverse mathematics (Q5037215) ‎ (← links)
• ON THE UNCOUNTABILITY OF (Q5052009) ‎ (← links)
• The non-normal abyss in Kleene's computability theory (Q6149028) ‎ (← links)
• On the computational properties of the uncountability of the real numbers (Q6160755) ‎ (← links)