Journal of Philosophical Logic

, Volume 40, Issue 6, pp 715-735

First online:

Ramified Frege Arithmetic

  • Richard G. HeckJr.Affiliated withDepartment of Philosophy, Brown University Email author 

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


Øystein Linnebo has recently shown that the existence of successors cannot be proven in predicative Frege arithmetic, using Frege’s definitions of arithmetical notions. By contrast, it is shown here that the existence of successor can be proven in ramified predicative Frege arithmetic.


Frege predicativity