Subsystems of Second Order Arithmetic (Perspectives in Mathematical Logic)
Product details
| Management number | 233299639 | Release Date | 2026/06/27 | List Price | US$23.37 | Model Number | 233299639 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
This book is an original contribution to the foundations of mathematics, with emphasis on the role of set existence axioms. Part A demonstrates that many familiar theorems of algebra, analysis, functional analysis,and combinatorics are logically equivalent to the axioms needed to prove them. This phenomenon is known as Reverse Mathematics. Subsystems of second order arithmetic based on such axioms correspond to several well known foundational programs: finitistic reductionism (Hilbert), constructivism (Bishop), predicativism (Weyl), and predicative reductionism (Feferman/Friedman). Part B is a thorough study of models of these and other systems. The book includes an extensive bibliography and a detailed index. Read more
| ISBN10 | 3540648828 |
|---|---|
| ISBN13 | 978-3540648826 |
| Edition | 1st |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.5 x 1.25 x 9.75 inches |
| Item Weight | 1.8 pounds |
| Print length | 444 pages |
| Part of series | Perspectives in Logic |
| Publication date | December 11, 1998 |
Bestseller ranking
Set Theory
Customers who viewed this product also viewed
Burberry Perfume
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form