Kohlenbach, Ulrich (2024)
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness.
In: Archive for Mathematical Logic, 2021, 60 (7-8)
doi: 10.26083/tuprints-00023435
Artikel, Zweitveröffentlichung, Verlagsversion
 | Es ist eine neuere Version dieses Eintrags verfügbar. |
URL / URN: https://tuprints.ulb.tu-darmstadt.de/23435
Kurzbeschreibung (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.
| Typ des Eintrags: | Artikel |
|---|---|
| Erschienen: | 2024 |
| Autor(en): | Kohlenbach, Ulrich |
| Art des Eintrags: | Zweitveröffentlichung |
| Titel: | Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness |
| Sprache: | Englisch |
| Publikationsjahr: | 12 März 2024 |
| Ort: | Darmstadt |
| Publikationsdatum der Erstveröffentlichung: | November 2021 |
| Ort der Erstveröffentlichung: | Berlin; Heidelberg; New York |
| Verlag: | Springer |
| Titel der Zeitschrift, Zeitung oder Schriftenreihe: | Archive for Mathematical Logic |
| Jahrgang/Volume einer Zeitschrift: | 60 |
| (Heft-)Nummer: | 7-8 |
| DOI: | 10.26083/tuprints-00023435 |
| URL / URN: | https://tuprints.ulb.tu-darmstadt.de/23435 |
| Zugehörige Links: | |
| Herkunft: | Zweitveröffentlichung DeepGreen |
| Kurzbeschreibung (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. |
| Freie Schlagworte: | Uniform boundedness principle, Bounded collection principle, Monotone functional interpretation, Bounded functional interpretation, Proof mining |
| Status: | Verlagsversion |
| URN: | urn:nbn:de:tuda-tuprints-234356 |
| Sachgruppe der Dewey Dezimalklassifikatin (DDC): | 500 Naturwissenschaften und Mathematik > 510 Mathematik |
| Fachbereich(e)/-gebiet(e): | 04 Fachbereich Mathematik 04 Fachbereich Mathematik > Logik |
| Hinterlegungsdatum: | 12 Mär 2024 13:29 |
| Letzte Änderung: | 19 Mär 2024 10:35 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
Verfügbare Versionen dieses Eintrags
- Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness. (deposited 12 Mär 2024 13:29) [Gegenwärtig angezeigt]
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum