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.*

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 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.*

Published by
Cambridge University Press
(2009)

ISBN 10: 052188439X
ISBN 13: 9780521884396

New
Quantity Available: > 20

Seller:

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

Published by
Cambridge University Press
(2016)

ISBN 10: 052188439X
ISBN 13: 9780521884396

New
Paperback
Quantity Available: 1

Seller:

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

ISBN 10: 052188439X
ISBN 13: 9780521884396

New
Hardcover
Quantity Available: 1

Seller:

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

Published by
Cambridge Univ Pr
(2009)

ISBN 10: 052188439X
ISBN 13: 9780521884396

New
Hardcover
Quantity Available: 1

Seller:

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

Published by
Cambridge University Press
(2009)

ISBN 10: 052188439X
ISBN 13: 9780521884396

New
Quantity Available: > 20

Seller:

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

Published by
Cambridge University Press
(2018)

ISBN 10: 052188439X
ISBN 13: 9780521884396

New
Hardcover
Quantity Available: 17

Seller:

Rating

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

Published by
CAMBRIDGE UNIVERSITY PRESS, United Kingdom
(2009)

ISBN 10: 052188439X
ISBN 13: 9780521884396

New
Hardcover
Quantity Available: 10

Seller:

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

Published by
Cambridge University Press
(2009)

ISBN 10: 052188439X
ISBN 13: 9780521884396

New
Hardcover
Quantity Available: 1

Seller:

Rating

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

Published by
CAMBRIDGE UNIVERSITY PRESS, United Kingdom
(2009)

ISBN 10: 052188439X
ISBN 13: 9780521884396

New
Hardcover
Quantity Available: 10

Seller:

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

Published by
Cambridge University Press
(2009)

ISBN 10: 052188439X
ISBN 13: 9780521884396

New
Hardcover
Quantity Available: 1

Seller:

Rating

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