Incompleteness for Higher-Order Arithmetic / SpringerBriefs in Mathematics (PDF)
An Example Based on Harrington's Principle
(Sprache: Englisch)
The book examines the following foundation question: are all theorems in classic mathematics which are expressible in second order arithmetic provable in second order arithmetic? In this book, the author gives a counterexample for this question and isolates...
sofort als Download lieferbar
Bisher 58.84 €
Aktionspreis bis 30.06.2024*
Aktionspreis bis 30.06.2024*
eBook (pdf) -64%
21.39 €
*befristete Preissenkung des Verlages
10 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Incompleteness for Higher-Order Arithmetic / SpringerBriefs in Mathematics (PDF)“
The book examines the following foundation question: are all theorems in classic mathematics which are expressible in second order arithmetic provable in second order arithmetic? In this book, the author gives a counterexample for this question and isolates this counterexample from Martin-Harrington theorem in set theory. It shows that the statement "Harrington's principle implies zero sharp" is not provable in second order arithmetic. The book also examines what is the minimal system in higher order arithmetic to show that Harrington's principle implies zero sharp and the large cardinal strength of Harrington's principle and its strengthening over second and third order arithmetic.
Bibliographische Angaben
- Autor: Yong Cheng
- 2019, 1st ed. 2019, 122 Seiten, Englisch
- Verlag: Springer-Verlag GmbH
- ISBN-10: 9811399492
- ISBN-13: 9789811399497
- Erscheinungsdatum: 30.08.2019
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 2.33 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Incompleteness for Higher-Order Arithmetic / SpringerBriefs in Mathematics"
0 Gebrauchte Artikel zu „Incompleteness for Higher-Order Arithmetic / SpringerBriefs in Mathematics“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Incompleteness for Higher-Order Arithmetic / SpringerBriefs in Mathematics".
Kommentar verfassen