Subsystems of Second Order Arithmetic: Second Edition (Perspectives in Logic)

Stephen G. Simpson

ISBN 10: 0521150140 / ISBN 13: 9780521150149

Published by Cambridge University Press 2010-02-18, 2010

About this Item

Seller Inventory # 6666-IUK-9780521150149

Bibliographic Details

• Title: Subsystems of Second Order Arithmetic: Second Edition (Perspectives in Logic)
• Publisher: Cambridge University Press 2010-02-18
• Publication Date: 2010
• Language: English
• ISBN 10: 0521150140
• ISBN 13: 9780521150149
• Binding: Paperback
• Edition: 2nd Edition
• Condition: New

About this title

Synopsis

Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.

Book Description

What are the appropriate axioms for mathematics? Through a series of case studies, this volume examines these axioms to prove particular theorems in core areas including 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.