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.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call