Ordinal analysis without proofs
| Abstract | An approach to ordinal analysis is presented which is finitary, but highlights the semantic content of the theories under consideration, rather than the syntactic structure of their proofs. In this paper the methods are applied to the analysis of theories extending Peano arithmetic with transfinite induction and transfinite arithmetic hierarchies. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesL. Gordeev (1990). Generalizations of the Kruskal-Friedman Theorems. Journal of Symbolic Logic 55 (1):157-181.
Graham Oppy, Inverse Operations with Transfinite Numbers and the Kalam Cosmological Argument (1995).
Ulrich Kohlenbach (1999). On the No-Counterexample Interpretation. Journal of Symbolic Logic 64 (4):1491-1511.
Reinhard Kahle (2002). Mathematical Proof Theory in the Light of Ordinal Analysis. Synthese 133 (1-2):237 - 255.
Thomas Strahm (2002). Wellordering Proofs for Metapredicative Mahlo. Journal of Symbolic Logic 67 (1):260-278.
Markus Michelbrink (2006). A Buchholz Derivation System for the Ordinal Analysis of KP + Π₃-Reflection. Journal of Symbolic Logic 71 (4):1237 - 1283.
Jeremy Avigad (2002). An Ordinal Analysis of Admissible Set Theory Using Recursion on Ordinal Notations. Journal of Mathematical Logic 2 (01):91-112.
Jeremy Avigad & Richard Sommer (1999). The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength. Journal of Symbolic Logic 64 (1):327-349.
Jeremy Avigad & Richard Sommer (1997). A Model-Theoretic Approach to Ordinal Analysis. Bulletin of Symbolic Logic 3 (1):17-52.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,204 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
