Subsystems of Second Order Arithmetic (Perspectives in Mathematical Logic)

Simpson, Stephen G.

ISBN 10: 3540648828 / ISBN 13: 9783540648826

Published by Springer, 1999

About this Item

Like New.

Seller Inventory # ERICA75835406488286

Bibliographic Details

• Title: Subsystems of Second Order Arithmetic (Perspectives in Mathematical Logic)
• Publisher: Springer
• Publication Date: 1999
• Language: English
• ISBN 10: 3540648828
• ISBN 13: 9783540648826
• Binding: Hardcover
• Condition: Like New
• Book Type: book

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.