Pages that link to "Item:Q5028319"
From MaRDI portal
The following pages link to The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis (Q5028319):
Displaying 18 items.
- On the strength of the finite intersection principle (Q375889) (← links)
- 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)
- Antinomicity and the axiom of choice. A chapter in antinomic mathematics (Q2738833) (← links)
- Computing in Cantor’s Paradise with λ ZFC (Q2900271) (← links)
- (Q3317099) (← links)
- The Relative Consistency of the Axiom of Choice — Mechanized Using Isabelle/ZF (Q3507465) (← links)
- Countable sets versus sets that are countable in reverse mathematics (Q5037215) (← links)
- ON THE UNCOUNTABILITY OF (Q5052009) (← links)
- Computer Science Logic (Q5394595) (← links)
- The Axiom of Choice in Computability Theory and Reverse Mathematics, with a cameo for the Continuum Hypothesis (Q6341921) (← links)
- Exploring the abyss in Kleene's computability theory (Q6594829) (← links)
- Computability and non-monotone induction (Q6594831) (← links)
- On the logical and computational properties of the Vitali covering theorem (Q6614040) (← links)
- On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor (Q6642876) (← links)
- A note on continuous functions on metric spaces (Q6670881) (← links)