Reverse mathematics of the uncountability of R

DOI10.1007/978-3-031-08740-0_23OpenAlexW4221160864MaRDI QIDQ2104277FDOQ2104277

Authors: Sam Sanders 

Publication date: 7 December 2022

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

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Bounded variation and around
• Constructivism in mathematics. An introduction. Volume I
• Subsystems of second order arithmetic
• Continued fractions with applications
• Title not available (Why is that?)
• Set theory.
• Title not available (Why is that?)
• Pincherle's theorem in reverse mathematics and computability theory
• Title not available (Why is that?)
• Open questions in reverse mathematics
• Title not available (Why is that?)
• Cousin’s lemma in second-order arithmetic
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Title not available (Why is that?)
• Uniform versions of some axioms of second order arithmetic
• Necessary use of \(\Sigma ^1_{1}\) induction in a reversal
• THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE
• On the mathematical and foundational significance of the uncountable
• Reverse mathematics. Proofs from the inside out
• Open sets in computability theory and reverse mathematics
• Betwixt Turing and Kleene
• Bounded variation and the strength of Helly's selection theorem
• Title not available (Why is that?)
• The Lengths of Curves

Cited In (3)

• On the uncountability of \(\mathbb{R}\)
• Reverse Mathematics of the uncountability of $\mathbb{R}$
• Open sets in computability theory and reverse mathematics

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)