Verwandte Artikel zu Subsystems of Second Order Arithmetic (Perspectives...
Inhaltsangabe
This volume focuses on the role of set existence axioms. Part A demonstrates that many familiar theorems of algebra, analysis, functional analysis, and combinatorics are logically equivalent to the axioms needed to prove them. This phenomenon is known as reverse mathematics. Subsystems of second order arithmetic based on such axioms correspond to several foundational programs: finitistic reductionism (Hilbert); constructivism (Bishop); predictavism (Weyl); and predictive reductionism (Feferman/Friedman). Part B is a thorough study of models of these and other systems.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This volume focuses on the role of set existence axioms. Part A demonstrates that many familiar theorems of algebra, analysis, functional analysis, and combinatorics are logically equivalent to the axioms needed to prove them. This phenomenon is known as reverse mathematics. Subsystems of second order arithmetic based on such axioms correspond to several foundational programs: finitistic reductionism (Hilbert); constructivism (Bishop); predictavism (Weyl); and predictive reductionism (Feferman/Friedman). Part B is a thorough study of models of these and other systems.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Erscheinungsdatum1998
- ISBN 10 3540648828
- ISBN 13 9783540648826
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten444
- Kontakt zum HerstellerNicht verfügbar
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Subsystems of Second Order Arithmetic (Perspectives...
Foto des Verkäufers
Subsystems of Second Order Arithmetic (Perspectives in Mathematical Logic)
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Verkäuferbewertung 5 von 5 Sternen
444 p. New! -- Neu und originalverschweißt! 9783540648826 Sprache: Englisch Gewicht in Gramm: 821 Hardcover: 16.5 x 3.2 x 24.8 cm. Bestandsnummer des Verkäufers 202305
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Subsystems of Second Order Arithmetic (Perspectives in Mathematical Logic)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Hardcover. Zustand: Like New. Like New. book. Bestandsnummer des Verkäufers ERICA75835406488286
Anzahl: 1 verfügbar