Subsystems of Second Order Arithmetic

by Stephen G. Simpson

Book Overview

Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a series of case studies, these axioms are examined 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. In many cases,...

• Format: Paperback
• Language: English
• ISBN: 0521150140
• ISBN13: 9780521150149
• Release Date: February 2010
• Publisher: Cambridge University Press
• Length: 464 Pages
• Weight: 1.42 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"