On false Heine/Borel compactness principles in proof mining
From MaRDI portal
Publication:2117782
Cites work
- scientific article; zbMATH DE number 1226875 (Why is no real title available?)
- scientific article; zbMATH DE number 7377974 (Why is no real title available?)
- scientific article; zbMATH DE number 3231083 (Why is no real title available?)
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Convergence of approximants to fixed points of nonexpansive nonlinear mappings in Banach spaces
- On quantitative versions of theorems due to F. E. Browder and R. Wittmann
- On the removal of weak compactness arguments in proof mining
- Open sets in computability theory and reverse mathematics
- Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness
Cited in
(1)
This page was built for publication: On false Heine/Borel compactness principles in proof mining
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2117782)