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

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/s0168-0072(00)00008-7
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,259
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Reflecting on Incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.
Fixed Points in Peano Arithmetic with Ordinals.Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 60 (2):119-132.

View all 9 references / Add more references

Citations of this work BETA

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 Feferman on Foundations. Springer Verlag. pp. 423-447.

View all 22 citations / Add more citations

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-3):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 index
2014-01-16

Total views
27 ( #425,485 of 2,518,692 )

Recent downloads (6 months)
1 ( #408,186 of 2,518,692 )

How can I increase my downloads?

Downloads

My notes