Subsystems of Second Order Arithmetic (Perspectives in Mathematical Logic)

Simpson Stephen, G.:

ISBN 10: 3540648828 / ISBN 13: 9783540648826

Published by Springer, 1998

About this Item

444 p. New! -- Neu und originalverschweißt! 9783540648826 Sprache: Englisch Gewicht in Gramm: 821 Hardcover: 16.5 x 3.2 x 24.8 cm.

Seller Inventory # 202305

Bibliographic Details

• Title: Subsystems of Second Order Arithmetic (Perspectives in Mathematical Logic)
• Publisher: Springer
• Publication Date: 1998
• Language: English
• ISBN 10: 3540648828
• ISBN 13: 9783540648826
• Binding: Hardcover
• Seller catalogs:
  • Mathematik

About this title

Synopsis

Book by Simpson, Stephen G.

Book Description

What are the appropriate axioms for mathematics? Through a series of case studies, this volumes examines these axioms to prove particular theorems in core mathematical areas such as algebra, analysis, and topology, focusing on the language of second-order arithmetic, the weakest language rich enough to express and develop the bulk of mathematics.