Reverse mathematics of the uncountability of \(\mathbb{R}\)
From MaRDI portal
Publication:2104277
DOI10.1007/978-3-031-08740-0_23OpenAlexW4221160864MaRDI QIDQ2104277
Publication date: 7 December 2022
Full work available at URL: https://arxiv.org/abs/2203.05292
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Constructivism in mathematics. An introduction. Volume I
- Continued fractions with applications
- Betwixt Turing and Kleene
- Pincherle's theorem in reverse mathematics and computability theory
- Bounded variation and the strength of Helly's selection theorem
- Necessary use of induction in a reversal
- Uniform versions of some axioms of second order arithmetic
- Open Questions in Reverse Mathematics
- THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE
- Cousin’s lemma in second-order arithmetic
- Open sets in computability theory and reverse mathematics
- On the mathematical and foundational significance of the uncountable
- Bounded Variation and Around
- The Lengths of Curves
This page was built for publication: Reverse mathematics of the uncountability of \(\mathbb{R}\)
