Some theories with positive induction of ordinal strength ϕω
Journal of Symbolic Logic 61 (3):818-842 (1996)
| Abstract | This paper deals with: (i) the theory ID # 1 which results from $\widehat{\mathrm{ID}}_1$ by restricting induction on the natural numbers to formulas which are positive in the fixed point constants, (ii) the theory BON(μ) plus various forms of positive induction, and (iii) a subtheory of Peano arithmetic with ordinals in which induction on the natural numbers is restricted to formulas which are Σ in the ordinals. We show that these systems have proof-theoretic strength φω 0 | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesThomas Jech (1989). Positive Σ Operations on Ordinals and Normal Filters on Greatly Mahlo Cardinals. Journal of Symbolic Logic 54 (1):226-233.
L. Gordeev (1990). Generalizations of the Kruskal-Friedman Theorems. Journal of Symbolic Logic 55 (1):157-181.
Klaus Aehlig (2005). Induction and Inductive Definitions in Fragments of Second Order Arithmetic. Journal of Symbolic Logic 70 (4):1087 - 1107.
Gerhard Jäger, Reinhard Kahle, Anton Setzer & Thomas Strahm (1999). The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. Journal of Symbolic Logic 64 (1):53-67.
Michael Rathjen (1991). The Role of Parameters in Bar Rule and Bar Induction. Journal of Symbolic Logic 56 (2):715-730.
Dieter Probst (2006). The Proof-Theoretic Analysis of Transfinitely Iterated Quasi Least Fixed Points. Journal of Symbolic Logic 71 (3):721 - 746.
Jeremy Avigad & Richard Sommer (1999). The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength. Journal of Symbolic Logic 64 (1):327-349.
Michael Rathjen (2006). Theories and Ordinals in Proof Theory. Synthese 148 (3):719 - 743.
Gerhard Jäger & Barbara Primo (1992). About the Proof-Theoretic Ordinals of Weak Fixed Point Theories. Journal of Symbolic Logic 57 (3):1108-1119.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
