Items related to Subsystems of Second Order Arithmetic (Perspectives...
Synopsis
Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.
"synopsis" may belong to another edition of this title.
About the Author
Stephen G. Simpson is a mathematician and professor at Pennsylvania State University. The winner of the Grove Award for Interdisciplinary Research Initiation, Simpson specializes in research involving mathematical logic, foundations of mathematics, and combinatorics.
"About this title" may belong to another edition of this title.
- PublisherCambridge University Press
- Publication date2009
- ISBN 10 052188439X
- ISBN 13 9780521884396
- BindingHardcover
- LanguageEnglish
- Edition number2
- Number of pages464
Buy New
View this item
£ 47.71
£ 26.95 shipping from Spain to United Kingdom
Destination, rates & speedsOther Popular Editions of the Same Title
Search results for Subsystems of Second Order Arithmetic (Perspectives...
Stock Image
Subsystems of Second Order Arithmetic 2nd Edition Hardback (Perspectives in Logic)
Published by
Cambridge University Press, 2009
ISBN 10: 052188439X
ISBN 13: 9780521884396
New
Hardcover
Seller: Libreria Hispano Americana, Barcelona, BARCE, Spain
Seller rating 3 out of 5 stars
Encuadernación de tapa dura. Condition: Nuevo. Dust Jacket Condition: Nuevo. 2ª Edición. Seller Inventory # ABE-1734341907085
Quantity: 1 available
Stock Image
Subsystems of Second Order Arithmetic
Published by
Cambridge University Press, 2009
ISBN 10: 052188439X
ISBN 13: 9780521884396
New
Hardcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 464 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Seller Inventory # 8364867
Quantity: 4 available
Stock Image
Subsystems of Second Order Arithmetic (Perspectives in Logic)
Published by
Cambridge University Press, 2009
ISBN 10: 052188439X
ISBN 13: 9780521884396
Used
Hardcover
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. Like New. book. Seller Inventory # ERICA757052188439X5
Quantity: 1 available
Stock Image
Subsystems of Second Order Arithmetic (Perspectives in Logic)
Published by
Cambridge University Press, 2009
ISBN 10: 052188439X
ISBN 13: 9780521884396
New
Hardcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521884396_new
Quantity: Over 20 available
Stock Image
Subsystems of Second Order Arithmetic (Hardcover)
Published by
Cambridge University Press, Cambridge, 2009
ISBN 10: 052188439X
ISBN 13: 9780521884396
New
Hardcover
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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. 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9780521884396
Quantity: 1 available
Stock Image
Subsystems of Second Order Arithmetic
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 2nd edition. 460 pages. 9.10x6.30x1.20 inches. In Stock. This item is printed on demand. Seller Inventory # __052188439X
Quantity: 1 available
Stock Image
Subsystems of Second Order Arithmetic (Perspectives in Logic)
Published by
Cambridge University Press, 2009
ISBN 10: 052188439X
ISBN 13: 9780521884396
New
Hardcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9780521884396
Quantity: Over 20 available
Seller Image
Subsystems of Second Order Arithmetic
Published by
Cambridge University Press, 2010
ISBN 10: 052188439X
ISBN 13: 9780521884396
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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, t. Seller Inventory # 446952175
Quantity: Over 20 available
Stock Image
Subsystems of Second Order Arithmetic (Perspectives in Logic)
Published by
Cambridge University Press, 2009
ISBN 10: 052188439X
ISBN 13: 9780521884396
New
Hardcover
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190020264
Quantity: Over 20 available
Stock Image
Subsystems of Second Order Arithmetic (Hardcover)
Published by
Cambridge University Press, Cambridge, 2009
ISBN 10: 052188439X
ISBN 13: 9780521884396
New
Hardcover
Seller: Grand Eagle Retail, Fairfield, OH, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780521884396
Quantity: 1 available