You are here

Subsystems of Second Order Arithmetic

Edition: 
2
Publisher: 
Cambridge University Press
Number of Pages: 
444
Price: 
85.00
ISBN: 
9780521884396
Date Received: 
Wednesday, June 17, 2009
Reviewable: 
No
Include In BLL Rating: 
No
Reviewer Email Address: 
Stephen G. Simpson
Series: 
Perspective in Logic
Publication Date: 
2009
Format: 
Hardcover
Category: 
Monograph

 

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.
Publish Book: 
Modify Date: 
Wednesday, June 17, 2009

Dummy View - NOT TO BE DELETED