Reverse mathematics of the uncountability of R
From MaRDI portal
Publication:2104277
Cites work
- scientific article; zbMATH DE number 3536056 (Why is no real title available?)
- scientific article; zbMATH DE number 1314876 (Why is no real title available?)
- scientific article; zbMATH DE number 1030714 (Why is no real title available?)
- scientific article; zbMATH DE number 1795233 (Why is no real title available?)
- scientific article; zbMATH DE number 2227817 (Why is no real title available?)
- scientific article; zbMATH DE number 2236640 (Why is no real title available?)
- Betwixt Turing and Kleene
- Bounded variation and around
- Bounded variation and the strength of Helly's selection theorem
- Constructivism in mathematics. An introduction. Volume I
- Continued fractions with applications
- Cousin’s lemma in second-order arithmetic
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Necessary use of \(\Sigma ^1_{1}\) induction in a reversal
- On the mathematical and foundational significance of the uncountable
- Open questions in reverse mathematics
- Open sets in computability theory and reverse mathematics
- Pincherle's theorem in reverse mathematics and computability theory
- Reverse mathematics. Proofs from the inside out
- Set theory.
- Subsystems of second order arithmetic
- THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE
- The Lengths of Curves
- Uniform versions of some axioms of second order arithmetic
Cited in
(3)
This page was built for publication: Reverse mathematics of the uncountability of \(\mathbb{R}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104277)
