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, if a mathematical theorem is proved from appropriately weak set ...
Read More
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, if a mathematical theorem is proved from appropriately weak set existence axioms, then the axioms will be logically equivalent to the theorem. Furthermore, only a few specific set existence axioms arise repeatedly in this context, which in turn correspond to classical foundational programs. This is the theme of reverse mathematics, which dominates the first half of the book. The second part focuses on models of these and other subsystems of second-order arithmetic.
Read Less
Book Details
Seller
Sort
U.K./EUR Sellers
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Sellers Near Me
Edition: 2010, Cambridge University Press
Trade paperback,
New
Available Copies: 5
Details: ISBN:
0521150140
ISBN-13:
9780521150149
Publisher:
Cambridge University Press
Published:
2010
Language:
English
Alibris ID:
17980247938
Shipping Options: Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Trade paperback (US). Contains: Unspecified. Perspectives in Logic . Includes unspecified. Intended for professional and scholarly audience.
Hide Details ▴
Edition: 2010, Cambridge University Press
Trade paperback,
New
Available Copies: 10+
Details: ISBN:
0521150140
ISBN-13:
9780521150149
Edition:
2nd Revised edition
Publisher:
Cambridge University Press
Published:
2010
Language:
English
Alibris ID:
17383190980
Shipping Options: Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Trade paperback (US). 464 p. Perspectives in Logic . Worked examples or Exercises. Intended for professional and scholarly audience.
Hide Details ▴
Edition: 2010, Cambridge University Press
Trade paperback,
Fine/Like New
Details: ISBN:
0521150140
ISBN-13:
9780521150149
Publisher:
Cambridge University Press
Published:
02/2010
Language:
English
Alibris ID:
17255891609
Shipping Options: Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Like New. Size: 9x6x1; clean, sturdy, unmarked copy. --mj.
Hide Details ▴
Edition: 2010, Cambridge University Press
Trade paperback,
Good
Details: ISBN:
0521150140
ISBN-13:
9780521150149
Publisher:
Cambridge University Press
Published:
2010
Language:
English
Alibris ID:
17741290545
Shipping Options: Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Good. Cover has some rubbing and edgewear. Access codes, CD's, slipcovers and other accessories may not be included.
Hide Details ▴
Edition: 2010, Cambridge University Press
Trade paperback,
New
Available Copies: 10+
Details: ISBN:
0521150140
ISBN-13:
9780521150149
Publisher:
Cambridge University Press
Published:
2010
Language:
English
Alibris ID:
11298819241
Shipping Options: Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Trade paperback (US). Contains: Unspecified. Perspectives in Logic . Includes unspecified. Intended for professional and scholarly audience.
Hide Details ▴
Edition: 2010, Cambridge University Press
Trade paperback,
New
Available Copies: 5
Details: ISBN:
0521150140
ISBN-13:
9780521150149
Publisher:
Cambridge University Press
Published:
2010
Language:
English
Alibris ID:
17489204102
Shipping Options: Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Trade paperback (US). Contains: Unspecified. Perspectives in Logic . Includes unspecified. Intended for professional and scholarly audience.
Hide Details ▴
Edition: 2010, Cambridge University Press
Trade paperback,
New
Available Copies: 2
Details: ISBN:
0521150140
ISBN-13:
9780521150149
Publisher:
Cambridge University Press
Published:
2010
Language:
English
Alibris ID:
17343661238
Shipping Options: Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. 464 pages. 9.21x6.14x1.05 inches.
Hide Details ▴
Edition: 2010, Cambridge University Press
Trade paperback,
New
Available Copies: 5
Details: ISBN:
0521150140
ISBN-13:
9780521150149
Publisher:
Cambridge University Press
Published:
2/18/2010
Language:
English
Alibris ID:
17663813608
Shipping Options: Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New in New jacket. Subsystems of Second Order Arithmetic (Paperback or Softback)
Hide Details ▴
Edition: 2010, Cambridge University Press
Trade paperback,
Good
Available Copies: 2
Details: ISBN:
0521150140
ISBN-13:
9780521150149
Publisher:
Cambridge University Press
Published:
2010
Language:
English
Alibris ID:
17353889358
Shipping Options: Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Hide Details ▴
Edition: 2009, Cambridge University Press
Hardcover,
New
Available Copies: 5
Details: ISBN:
052188439X
ISBN-13:
9780521884396
Publisher:
Cambridge University Press
Published:
2009
Language:
English
Alibris ID:
17980550342
Shipping Options: Standard Shipping: $4.61
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Perspectives in Logic . Intended for professional and scholarly audience.
Hide Details ▴
ISBN-13: 9780521150149
2nd edition
Trade paperback
ISBN-13: 9780521884396
2nd edition
Hardcover
All Editions of Subsystems of Second Order Arithmetic
Books by Stephen G Simpson
