Abstract
The Theory of Constructions can be used to give an interpretation of first-order number theory. First-order number theory consists of formulae built up from atomic formulae using logical connectives and quantifiers, where the atomic formulae express the results of primitive recursive computations. The standard formalisation of this theory is Peano Arithmetic.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAuthor information
Authors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Fletcher, P. (1998). Introduction to Part III. In: Truth, Proof and Infinity. Synthese Library, vol 276. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-3616-9_24
Download citation
DOI: https://doi.org/10.1007/978-94-017-3616-9_24
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5105-9
Online ISBN: 978-94-017-3616-9
eBook Packages: Springer Book Archive