Subsystems of second order arithmetic /
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 to...
Saved in:
Main Author: | |
---|---|
Corporate Author: | |
Format: | Electronic eBook |
Language: | English |
Published: |
Cambridge ; New York :
Cambridge University Press,
©2009.
|
Edition: | 2nd ed. |
Series: | Perspectives in logic.
|
Subjects: | |
Online Access: | CONNECT |