Splittings and robustness for the Heine-Borel theorem

DOI10.1007/978-3-030-80049-9_39OpenAlexW3186209675MaRDI QIDQ2117802FDOQ2117802

Sam Sanders

Publication date: 22 March 2022

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

zbMATH Keywords

robustnesssplittingHeine-Borel theoremVitali covering theoremhigher-order reverse mathematics

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Set theory.
• Pincherle's theorem in reverse mathematics and computability theory
• Title not available (Why is that?)
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis
• Located sets and reverse mathematics
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Uniform versions of some axioms of second order arithmetic
• On the mathematical and foundational significance of the uncountable
• Title not available (Why is that?)
• Reverse mathematics of topology: dimension, paracompactness, and splittings
• Splittings and disjunctions in reverse mathematics
• Open sets in computability theory and reverse mathematics
• The strength of compactness in computability theory and nonstandard analysis
• Title not available (Why is that?)

Cited In (2)

• Splittings and robustness for the Heine-Borel theorem
• The Vitali covering theorem in constructive mathematics

This page was built for publication: Splittings and robustness for the Heine-Borel theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2117802)