You are here

Subsystems of Second Order Arithmetic

Stephen G. Simpson
Publisher: 
Cambridge University Press
Publication Date: 
2009
Number of Pages: 
444
Format: 
Hardcover
Edition: 
2
Series: 
Perspective in Logic
Price: 
85.00
ISBN: 
9780521884396
Category: 
Monograph
We do not plan to review this book.

 

1. Introduction; Part I. Development of Mathematics within Subsystems of Z2: 2. Recursive comprehension; 3. Arithmetical comprehension; 4. Weak Konig's lemma; 5. Arithmetical transfinite recursion; 6. Pi 11 comprehension; Part II. Models of Subsystems of Z2: 7. Beta-models; 8. Omega-models; 9. Non-omega-models; 10. Additional results.