Interpretability in Robinson's Q

Association for Symbolic Logic: The Bulletin of Symbolic Logic (forthcoming)
  Copy   BIBTEX

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

Other Versions

reprint Ferreira, Fernando; Ferreira, Gilda (2013) "Interpretability in Robinson's Q". Bulletin of Symbolic Logic 19(3):289-317

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,060

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Cardinal arithmetic in the style of Baron Von münchhausen.Albert Visser - 2009 - Review of Symbolic Logic 2 (3):570-589.
Burgess' PV Is Robinson's Q.Mihai Ganea - 2007 - Journal of Symbolic Logic 72 (2):619 - 624.
Predicative arithmetic.Edward Nelson - 1986 - Princeton, N.J.: Princeton University Press.
Groundwork for weak analysis.António M. Fernandes & Fernando Ferreira - 2002 - Journal of Symbolic Logic 67 (2):557-578.
Arithmetic on semigroups.Mihai Ganea - 2009 - Journal of Symbolic Logic 74 (1):265-278.
Weak Theories of Concatenation and Arithmetic.Yoshihiro Horihata - 2012 - Notre Dame Journal of Formal Logic 53 (2):203-222.

Analytics

Added to PP
2013-11-23

Downloads
20 (#1,122,738)

6 months
2 (#1,348,959)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

No references found.

Add more references