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
Artikel, Bibliographie
Dies ist die neueste Version dieses Eintrags.
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: | 2021 |
| Autor(en): | Kohlenbach, Ulrich |
| Art des Eintrags: | Bibliographie |
| Titel: | Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness |
| Sprache: | Englisch |
| Publikationsjahr: | November 2021 |
| Ort: | 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.1007/s00153-021-00771-w |
| Zugehörige Links: | |
| 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 |
| Sachgruppe der Dewey Dezimalklassifikatin (DDC): | 500 Naturwissenschaften und Mathematik > 510 Mathematik |
| Fachbereich(e)/-gebiet(e): | 04 Fachbereich Mathematik 04 Fachbereich Mathematik > Logik |
| Hinterlegungsdatum: | 19 Mär 2024 10:35 |
| 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)
- Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness. (deposited 19 Mär 2024 10:35) [Gegenwärtig angezeigt]
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum