Splittings and robustness for the Heine-Borel theorem

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

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

• 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
• Reverse mathematics of topology: dimension, paracompactness, and splittings
• Splittings and disjunctions in reverse mathematics
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Pincherle's theorem in reverse mathematics and computability theory
• The strength of compactness in computability theory and nonstandard analysis
• Uniform versions of some axioms of second order arithmetic
• Located sets and reverse mathematics
• The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis
• Open sets in computability theory and reverse mathematics
• On the mathematical and foundational significance of the uncountable