On false Heine/Borel compactness principles in proof mining

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

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

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

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)