Predicative foundations of arithmetic

&
Journal of Philosophical Logic 24 (1):1 - 17 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf01052728

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

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

Paradox and Potential Infinity.Charles McCarty - 2013 - Journal of Philosophical Logic 42 (1):195-219.
Challenges to predicative foundations of arithmetic.Solomon Feferman - manuscript
Real analysis without classes.Geoffrey Hellman - 1994 - Philosophia Mathematica 2 (3):228-250.
Predicative fragments of Frege arithmetic.Øystein Linnebo - 2004 - Bulletin of Symbolic Logic 10 (2):153-174.
Relationships between constructive, predicative and classical systems of analysis.Solomon Feferman - unknown
Arithmetical set theory.Paul Strauss - 1991 - Studia Logica 50 (2):343 - 350.
Ramified Frege Arithmetic.Richard G. Heck - 2011 - Journal of Philosophical Logic 40 (6):715-735.
A New Approach to Predicative Set Theory.Arnon Avron - 2010 - In Ralf Schindler (ed.), Ways of Proof Theory. De Gruyter. pp. 31-64.
The foundations of arithmetic.Gottlob Frege - 1884/1950 - Evanston, Ill.,: Northwestern University Press.
A note on finiteness in the predicative foundations of arithmetic.Fernando Ferreira - 1999 - Journal of Philosophical Logic 28 (2):165-174.

Analytics

Added to PP
2009-01-28

Downloads
162 (#117,881)

6 months
20 (#129,475)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Geoffrey Hellman
University of Minnesota

Citations of this work

Hilbert’s Program.Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.
Predicative fragments of Frege arithmetic.Øystein Linnebo - 2004 - Bulletin of Symbolic Logic 10 (2):153-174.
Predicativity.Solomon Feferman - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford: Oxford University Press. pp. 590-624.
Structuralism without structures.Hellman Geoffrey - 1996 - Philosophia Mathematica 4 (2):100-123.
Why a Little Bit Goes a Long Way: Logical Foundations of Scientifically Applicable Mathematics.Solomon Feferman - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:442 - 455.

View all 21 citations / Add more citations

References found in this work

Mathematical logic.J. Donald Monk - 1976 - New York: Springer Verlag.
Systems of predicative analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.

View all 11 references / Add more references