Review: Edward Nelson, Predicative Arithmetic [Book Review]

Journal of Symbolic Logic 53 (3):987-989 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

reprint Pudlák, Pavel (1988) "Edward Nelson. Predicative arithmetic. Mathematical notes, no. 32. Princeton University Press, Princeton1986, viii + 189 pp". Journal of Symbolic Logic 53(3):987-989

Links

PhilArchive

External links

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

Through your library

My notes

Similar books and articles

Petr Hájek and Pavel Pudlák. Metamathematics of first-order arithmetic. Perspectives in mathematical logic. Springer-Verlag, Berlin etc. 1993, xiv + 460 pp. [REVIEW]Richard Kaye - 1995 - Journal of Symbolic Logic 60 (4):1317-1320.
Jan Krajíček, Pavel Pudlák, and Gaisi Takeuti. Bounded arithmetic and the polynomial hierarchy. Ibid., vol. 52, pp. 143–153. - Samuel R. Buss. Relating the bounded arithmetic and polynomial time hierarchies. Ibid., vol. 75, pp. 67–77. - Domenico Zambella. Notes on polynomially bounded arithmetic. The journal of symbolic logic, vol. 61, pp. 942–966.Stephen Cook - 1999 - Journal of Symbolic Logic 64 (4):1821-1823.
Jan Krajíček and Pavel Pudlák. The number of proof lines and the size of proofs in first order logic. Archive for mathematical logic, vol. 27 , pp. 69–84. [REVIEW]William M. Farmer - 1989 - Journal of Symbolic Logic 54 (3):1107-1108.
Edward Nelson.Mikhail G. Katz & Semen S. Kutateladze - 2015 - Review of Symbolic Logic 8 (3):607-610.
Pavel Pudlák. The lengths of proofs. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 547–637.Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):473-475.
Alasdair Urquhart. The complexity of linear logic with weakening. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 500–515. [REVIEW]Herman Jervel - 2002 - Bulletin of Symbolic Logic 8 (1):100-101.
Michael Rathjen. The superjump in Martin-Löf type theory. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 363–386.Michael Möllerfeld - 2002 - Bulletin of Symbolic Logic 8 (4):538-538.
L. Beklemishev. Another pathological well-ordering. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 105–108. [REVIEW]G. Mints - 2001 - Bulletin of Symbolic Logic 7 (4):534-534.
Russell, Gödel and Skolem: how much of arithmetic is predicative.Jen M. Davoren & Allen P. Hazen - 1991 - Journal of Symbolic Logic 56:1108-1109.
Thomas Strahm. Autonomous fixed point progressions and fixed point transfinite recursion. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 449–464. [REVIEW]Thomas Strahm - 2001 - Bulletin of Symbolic Logic 7 (4):535-536.

Analytics

Added to PP
2013-11-03

Downloads
66 (#906,251)

6 months
5 (#1,642,513)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Modal Objectivity.Justin Clarke-Doane - 2017 - Noûs 53 (2):266-295.
The predicative Frege hierarchy.Albert Visser - 2009 - Annals of Pure and Applied Logic 160 (2):129-153.
Cardinal arithmetic in the style of Baron Von münchhausen.Albert Visser - 2009 - Review of Symbolic Logic 2 (3):570-589.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references