Subsystems of Second Order Arithmetic (Perspectives in Mathematical Logic)

Simpson Stephen, G.:

ISBN 10: 3540648828 / ISBN 13: 9783540648826

Verlag: Springer, 1998

Beschreibung

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

Bibliografische Details

• Titel: Subsystems of Second Order Arithmetic (Perspectives in Mathematical Logic)
• Verlag: Springer
• Erscheinungsjahr: 1998
• Sprache: Englisch
• ISBN-10: 3540648828
• ISBN-13: 9783540648826
• Einband: Hardcover
• Verkäuferkataloge:
  • Mathematik

Über diesen Titel

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.