Skip to content

Subsystems of Second-Order Arithmetic

Best in textbook rentals since 2012!

ISBN-10: 0521150140

ISBN-13: 9780521150149

Edition: 2nd 2010

Authors: Stephen G. Simpson

List price: $42.99
Blue ribbon 30 day, 100% satisfaction guarantee!
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

This volume examines appropriate axioms for mathematics to prove particular theorems in core areas.
Customers also bought

Book details

List price: $42.99
Edition: 2nd
Copyright year: 2010
Publisher: Cambridge University Press
Publication date: 2/18/2010
Binding: Paperback
Pages: 464
Size: 6.14" wide x 9.21" long x 0.94" tall
Weight: 1.408
Language: English

List of tables
Preface
Acknowledgements
Introduction
Development of Mathematics within Subsystems of Z2
Recursive comprehension
Arithmetical comprehension
Weak König's lemma
Arithmetical transfinite recursion
��11 comprehension
Models of Subsystems of Z2
β-models
��-models
Non-��-models
Appendix
Additional results
Bibliography
Index