On false Heine/Borel compactness principles in proof mining

DOI10.1007/978-3-030-80049-9_18OpenAlexW3180143318MaRDI QIDQ2117782

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On quantitative versions of theorems due to F. E. Browder and R. Wittmann
• Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness
• On the removal of weak compactness arguments in proof mining
• Convergence of approximants to fixed points of nonexpansive nonlinear mappings in Banach spaces
• Open sets in computability theory and reverse mathematics
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

This page was built for publication: On false Heine/Borel compactness principles in proof mining