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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Systems of Explicit Mathematics with Non-Constructive Μ-Operator. Part II.Solomon Feferman & Gerhard Jäger - 1996 - Annals of Pure and Applied Logic 79 (1):37-52.
Systems of Explicit Mathematics with Non-Constructive Μ-Operator. Part I.Solomon Feferman & Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 65 (3):243-263.
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.
Nonclassical Truth with Classical Strength. A Proof-Theoretic Analysis of Compositional Truth Over Hype.Martin Fischer, Carlo Nicolai & Pablo Dopico - 2021 - Review of Symbolic Logic:1-24.
Reflection Algebras and Conservation Results for Theories of Iterated Truth.Lev D. Beklemishev & Fedor N. Pakhomov - 2022 - Annals of Pure and Applied Logic 173 (5):103093.
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.
Proof-Theoretic Reduction as a Philosopher's Tool.Thomas Hofweber - 2000 - Erkenntnis 53 (1-2):127-146.
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.
Models of Arithmetic and Upper Bounds for Arithmetic Sets.Alistair H. Lachlan & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (3):977-983.
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.
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 )
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
