Subsystems of Second Order Arithmetic (Perspectives in Logic)

4 avg rating
( 1 ratings by Goodreads )
 
9780521884396: Subsystems of Second Order Arithmetic (Perspectives in Logic)
View all copies of this ISBN edition:
 
 

Foundations of mathematics is the study of the most basic concepts and logical structure of mathematics, with an eye to the unity of human knowledge. 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. Additional results are presented in an appendix.

"synopsis" may belong to another edition of this title.

Book Description:

What are the appropriate axioms for mathematics? Through a series of case studies, this volumes examines these axioms 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.

From the Back Cover:

"From the point of view of the foundations of mathematics, this definitive work by Simpson is the most anxiously awaited monograph for over a decade. The "subsystems of second order arithmetic" provide the basic formal systems normally used in our current understanding of the logical structure of classical mathematics. Simpson provides an encyclopedic treatment of these systems with an emphasis on *Hilbert's program* (where infinitary mathematics is to be secured or reinterpreted by finitary mathematics), and the emerging *reverse mathematics* (where axioms necessary for providing theorems are determined by deriving axioms from theorems). The classical mathematical topics treated in these axiomatic terms are very diverse, and include standard topics in complete separable metric spaces and Banach spaces, countable groups, rings, fields, and vector spaces, ordinary differential equations, fixed points, infinite games, Ramsey theory, and many others. The material, with its many open problems and detailed references to the literature, is particularly valuable for proof theorists and recursion theorists. The book is both suitable for the beginning graduate student in mathematical logic, and encyclopedic for the expert." Harvey Friedman, Ohio State University

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 124.00
US$ 104.37

Convert Currency

Shipping: US$ 3.99
Within U.S.A.

Destination, Rates & Speeds

Add to Basket

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  0521150140 ISBN 13:  9780521150149
Publisher: Cambridge University Press, 2010
Softcover

9783540648826: Subsystems of Second Order Arithmetic (Perspectives in Mathematical Logic)

Springer, 1999
Hardcover

Top Search Results from the AbeBooks Marketplace

1.

Simpson, Stephen G.
Published by Cambridge University Press (2009)
ISBN 10: 052188439X ISBN 13: 9780521884396
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 2009. HRD. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780521884396

More information about this seller | Contact this seller

Buy New
US$ 104.37
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

2.

Simpson, Stephen G.
Published by Cambridge University Press (2016)
ISBN 10: 052188439X ISBN 13: 9780521884396
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Cambridge University Press, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9780521884396_lsuk

More information about this seller | Contact this seller

Buy New
US$ 105.52
Convert Currency

Add to Basket

Shipping: US$ 5.19
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

STEPHEN G. SIMPSON
ISBN 10: 052188439X ISBN 13: 9780521884396
New Hardcover Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description 2009. Hardback. Condition: NEW. 9780521884396 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0482505

More information about this seller | Contact this seller

Buy New
US$ 106.65
Convert Currency

Add to Basket

Shipping: US$ 10.73
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Simpson, Stephen G.
Published by Cambridge Univ Pr (2009)
ISBN 10: 052188439X ISBN 13: 9780521884396
New Hardcover Quantity Available: 1
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Cambridge Univ Pr, 2009. Hardcover. Condition: Brand New. 2nd edition. 460 pages. 9.10x6.30x1.20 inches. In Stock. Seller Inventory # __052188439X

More information about this seller | Contact this seller

Buy New
US$ 110.90
Convert Currency

Add to Basket

Shipping: US$ 8.05
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Simpson, Stephen G.
Published by Cambridge University Press (2009)
ISBN 10: 052188439X ISBN 13: 9780521884396
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Cambridge University Press, 2009. HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780521884396

More information about this seller | Contact this seller

Buy New
US$ 107.39
Convert Currency

Add to Basket

Shipping: US$ 12.10
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

Simpson, Stephen G.
Published by Cambridge University Press (2018)
ISBN 10: 052188439X ISBN 13: 9780521884396
New Hardcover Quantity Available: 17
Print on Demand
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 2018. Hardcover. Condition: New. Never used! This item is printed on demand. Seller Inventory # 052188439X

More information about this seller | Contact this seller

Buy New
US$ 134.88
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

7.

Stephen G. Simpson
Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2009)
ISBN 10: 052188439X ISBN 13: 9780521884396
New Hardcover Quantity Available: 10
Print on Demand
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2009. Hardback. Condition: New. 2nd Revised edition. Language: English . Brand New Book ***** Print on Demand *****. 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. Seller Inventory # APC9780521884396

More information about this seller | Contact this seller

Buy New
US$ 138.90
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

8.

Stephen G. Simpson
Published by Cambridge University Press (2009)
ISBN 10: 052188439X ISBN 13: 9780521884396
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 2009. Hardcover. Condition: New. 2. Seller Inventory # DADAX052188439X

More information about this seller | Contact this seller

Buy New
US$ 135.78
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

9.

Stephen G. Simpson
Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2009)
ISBN 10: 052188439X ISBN 13: 9780521884396
New Hardcover Quantity Available: 10
Print on Demand
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2009. Hardback. Condition: New. 2nd Revised edition. Language: English . Brand New Book ***** Print on Demand *****.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. Seller Inventory # APC9780521884396

More information about this seller | Contact this seller

Buy New
US$ 142.78
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

Stephen G. Simpson
Published by Cambridge University Press (2009)
ISBN 10: 052188439X ISBN 13: 9780521884396
New Hardcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Cambridge University Press, 2009. Condition: New. book. Seller Inventory # M052188439X

More information about this seller | Contact this seller

Buy New
US$ 161.02
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book