Subsystems of Second Order Arithmetic
Stephen G. (Pennsylvania State University) Simpson
Cambridge University Press, 2009
232,95 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9780521884396
- ISBN-10
- 052188439X
- Publisher
- Cambridge University Press
- Year
- 2009
- Publication date
- 2009-05-29
- Pages
- 464
- Dimensions
- 164x242x32
- Weight
- 846