Abstract
The interpretation of Second-Order Peano Arithmetic is now complete. As pointed out in Chapter 36, this is also an interpretation of a formal theory of analysis containing variables for real numbers, the axioms for a complete ordered field, and classical predicate calculus. Real numbers are present in this system in all their impredicative glory, due to the Comprehension Axiom Schema of 2PA.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Fletcher, P. (1998). Conclusions on Analysis. In: Truth, Proof and Infinity. Synthese Library, vol 276. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-3616-9_49
Download citation
DOI: https://doi.org/10.1007/978-94-017-3616-9_49
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5105-9
Online ISBN: 978-94-017-3616-9
eBook Packages: Springer Book Archive