Translator Disclaimer
September 2013 Interpretability in Robinson's Q
Fernando Ferreira, Gilda Ferreira
Bull. Symbolic Logic 19(3): 289-317 (September 2013). DOI: 10.2178/bsl.1903010

Abstract

Edward Nelson published in 1986 a book defending an extreme formalist view of mathematics according to which there is an impassable barrier in the totality of exponentiation. On the positive side, Nelson embarks on a program of investigating how much mathematics can be interpreted in Raphael Robinson's theory of arithmetic Q. In the shadow of this program, some very nice logical investigations and results were produced by a number of people, not only regarding what can be interpreted in Q but also what cannot be so interpreted. We explain some of these results and rely on them to discuss Nelson's position.

Citation

Download Citation

Fernando Ferreira. Gilda Ferreira. "Interpretability in Robinson's Q." Bull. Symbolic Logic 19 (3) 289 - 317, September 2013. https://doi.org/10.2178/bsl.1903010

Information

Published: September 2013
First available in Project Euclid: 6 January 2014

zbMATH: 1325.03072
MathSciNet: MR3134895
Digital Object Identifier: 10.2178/bsl.1903010

Rights: Copyright © 2013 Association for Symbolic Logic

JOURNAL ARTICLE
29 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.19 • No. 3 • September 2013
Back to Top