Kohlenbach, Ulrich (2021)
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness.
In: Archive for Mathematical Logic, 60 (7-8)
doi: 10.1007/s00153-021-00771-w
Article, Bibliographie
This is the latest version of this item.
Abstract
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.
| Item Type: | Article |
|---|---|
| Erschienen: | 2021 |
| Creators: | Kohlenbach, Ulrich |
| Type of entry: | Bibliographie |
| Title: | Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness |
| Language: | English |
| Date: | November 2021 |
| Place of Publication: | Berlin; Heidelberg; New York |
| Publisher: | Springer |
| Journal or Publication Title: | Archive for Mathematical Logic |
| Volume of the journal: | 60 |
| Issue Number: | 7-8 |
| DOI: | 10.1007/s00153-021-00771-w |
| Corresponding Links: | |
| Abstract: | 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. |
| Uncontrolled Keywords: | Uniform boundedness principle, Bounded collection principle, Monotone functional interpretation, Bounded functional interpretation, Proof mining |
| Classification DDC: | 500 Science and mathematics > 510 Mathematics |
| Divisions: | 04 Department of Mathematics 04 Department of Mathematics > Logic |
| Date Deposited: | 19 Mar 2024 10:35 |
| Last Modified: | 19 Mar 2024 10:35 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
Available Versions of this Item
-
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness. (deposited 12 Mar 2024 13:29)
- Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness. (deposited 19 Mar 2024 10:35) [Currently Displayed]
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum