On false Heine/Borel compactness principles in proof mining

DOI10.1007/978-3-030-80049-9_18MaRDI QIDQ2117782zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 22 March 2022

Full work available at URL https://doi.org/10.1007/978-3-030-80049-9_18

zbMATH Keywords

uniform boundednessproof miningbounded functional interpretationbounded collectionHeine/Borel compactness

Mathematics Subject Classification ID

Theory of computing (68Qxx)

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)

• Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness

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)