Theories and ordinals in proof theory
Synthese 148 (3):719 - 743 (2006)
| Abstract | How do ordinals measure the strength and computational power of formal theories? This paper is concerned with the connection between ordinal representation systems and theories established in ordinal analyses. It focusses on results which explain the nature of this connection in terms of semantical and computational notions from model theory, set theory, and generalized recursion theory | |||||||||
| 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,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesBenjamin R. George (2006). Second-Order Characterizable Cardinals and Ordinals. Studia Logica 84 (3):425 - 449.
Mitch Rudominer (1999). The Largest Countable Inductive Set is a Mouse Set. Journal of Symbolic Logic 64 (2):443-459.
L. Gordeev (1990). Generalizations of the Kruskal-Friedman Theorems. Journal of Symbolic Logic 55 (1):157-181.
John E. Hutchinson (1976). Order Types of Ordinals in Models of Set Theory. Journal of Symbolic Logic 41 (2):489-502.
Reinhard Kahle (2002). Mathematical Proof Theory in the Light of Ordinal Analysis. Synthese 133 (1-2):237 - 255.
Jeremy Avigad (2002). An Ordinal Analysis of Admissible Set Theory Using Recursion on Ordinal Notations. Journal of Mathematical Logic 2 (01):91-112.
Toshiyasu Arai (2000). Ordinal Diagrams for Π3-Reflection. Journal of Symbolic Logic 65 (3):1375 - 1394.
Jeremy Avigad & Richard Sommer (1999). The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength. Journal of Symbolic Logic 64 (1):327-349.
Gerhard Jäger & Thomas Strahm (1996). Some Theories with Positive Induction of Ordinal Strength Φω. Journal of Symbolic Logic 61 (3):818-842.
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 |
Added to index2009-01-28Total downloads14 ( #82,984 of 548,973 )Recent downloads (6 months)1 ( #63,511 of 548,973 )How can I increase my downloads? |
My notes
Discussion
