Splittings and robustness for the Heine-Borel theorem
From MaRDI portal
Publication:2117802
Cites work
- scientific article; zbMATH DE number 3924748 (Why is no real title available?)
- scientific article; zbMATH DE number 3536056 (Why is no real title available?)
- scientific article; zbMATH DE number 1477074 (Why is no real title available?)
- scientific article; zbMATH DE number 2236635 (Why is no real title available?)
- scientific article; zbMATH DE number 2236640 (Why is no real title available?)
- Constructivism in mathematics. An introduction. Volume I
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Located sets and reverse mathematics
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- On the mathematical and foundational significance of the uncountable
- Open sets in computability theory and reverse mathematics
- Pincherle's theorem in reverse mathematics and computability theory
- Reverse mathematics of topology: dimension, paracompactness, and splittings
- Reverse mathematics. Proofs from the inside out
- Set theory.
- Splittings and disjunctions in reverse mathematics
- Subsystems of second order arithmetic
- The axiom of choice in computability theory and reverse mathematics with a cameo for the continuum hypothesis
- The strength of compactness in computability theory and nonstandard analysis
- Uniform versions of some axioms of second order arithmetic
Cited in
(2)
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)
