Publication Date:
2021-04-26
Description:
In this note we show that proof-theoretic uniform boundedness or bounded collection principles which allow one to formalize certain instances of countable Heine–Borel compactness in proofs using abstract metric structures must be carefully distinguished from an unrestricted use of countable Heine–Borel compactness.
Print ISSN:
0933-5846
Electronic ISSN:
1432-0665
Topics:
Mathematics