Predicative Foundations of Arithmetic (1995)
by
Solomon Feferman
,
Geoffrey Hellman
| Venue: | Journal of Philosophical Logic |
| Citations: | 8 - 2 self |
BibTeX
@ARTICLE{Feferman95predicativefoundations,
author = {Solomon Feferman and Geoffrey Hellman},
title = {Predicative Foundations of Arithmetic},
journal = {Journal of Philosophical Logic},
year = {1995},
pages = {1--17}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Predicative mathematics in the sense originating with Poincaré andWeylbegins by taking the natural number system for granted, proceeding immediately to real analysis and related fields. On the other hand, from a logicist or set-theoretic standpoint, this appears problematic, for, as the story is usually told, impredicative
