The unfolding of non-finitist arithmetic

Annals of Pure and Applied Logic 104 (1-3):75-96 (2000)
  Copy   BIBTEX

Abstract

The unfolding of schematic formal systems is a novel concept which was initiated in Feferman , Gödel ’96, Lecture Notes in Logic, Springer, Berlin, 1996, pp. 3–22). This paper is mainly concerned with the proof-theoretic analysis of various unfolding systems for non-finitist arithmetic . In particular, we examine two restricted unfoldings and , as well as a full unfolding, . The principal results then state: is equivalent to ; is equivalent to ; is equivalent to . Thus is proof-theoretically equivalent to predicative analysis

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,873

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

Unfolding finitist arithmetic.Solomon Feferman & Thomas Strahm - 2010 - Review of Symbolic Logic 3 (4):665-689.
Uniform unfolding and analytic measurability.Benedikt Löwe - 1998 - Archive for Mathematical Logic 37 (8):505-520.
A variant to Hilbert's theory of the foundations of arithmetic.G. Kreisel - 1953 - British Journal for the Philosophy of Science 4 (14):107-129.
Classical arithmetic as part of intuitionistic arithmetic.Michael Potter - 1998 - Grazer Philosophische Studien 55 (1):127-41.
Consistency, Models, and Soundness.Matthias Schirn - 2010 - Axiomathes 20 (2):153-207.
Unfolding the German political parties: A description and application of multiple unidimensional unfolding.G. Dc Socte, H. Fcgcr & K. C. Klaucr - 1989 - In Geert de Soete, Hubert Feger & Karl C. Klauer (eds.), New Developments in Psychological Choice Modeling. Distributors for the United States and Canada, Elsevier Science. pp. 259.
In defense of epistemic arithmetic.Leon Horsten - 1998 - Synthese 116 (1):1-25.
Extensions of the Finitist Point of View.Matthias Schirn & Karl-Georg Niebergall - 2001 - History and Philosophy of Logic 22 (3):135-161.
The arithmetic of cuts in models of arithmetic.Richard Kaye - 2013 - Mathematical Logic Quarterly 59 (4-5):332-351.

Analytics

Added to PP
2014-01-16

Downloads
48 (#339,348)

6 months
16 (#171,907)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Axioms for determinateness and truth.Solomon Feferman - 2008 - Review of Symbolic Logic 1 (2):204-217.
Predicativity.Solomon Feferman - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford: Oxford University Press. pp. 590-624.
Predicativity and Feferman.Laura Crosilla - 2017 - In Gerhard Jäger & Wilfried Sieg (eds.), Feferman on Foundations: Logic, Mathematics, Philosophy. Cham: Springer. pp. 423-447.

View all 23 citations / Add more citations