✦ LIBER ✦

Theories and Ordinals in Proof Theory

✍ Scribed by Michael Rathjen

Book ID: 106539910
Publisher: Springer Netherlands
Year: 2006
Tongue: English
Weight: 393 KB
Volume: 148
Category: Article
ISSN: 0039-7857
DOI: 10.1007/s11229-004-6297-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof theory for theories of ordinals—I:

Proof theory for theories of ordinals—I: recursively Mahlo ordinals

✍ Toshiyasu Arai 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 801 KB

This paper deals with a proof theory for a theory T22 of recursively Mahlo ordinals in the form of 2-re ecting on 2-re ecting ordinals using a subsystem Od( ) of the system O( ) of ordinal diagrams in Arai (Arch. Math. Logic 39 (2000) 353). This paper is the ÿrst published one in which a proof-theor

Ann. Pure Appl. Logic: Erratum to “What'

Ann. Pure Appl. Logic: Erratum to “What's so special about Kruskal's theorem and the ordinal Γ0? A survey of some results in proof theory” [53 (1991) 199–260]

✍ Jean H. Gallier 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 77 KB

Gopalan Nadathur has pointed out that there is a gap in the proof of Theorem 4.5, pp. 2077208. Specifically, there is a gap in the proof of the claim that 5 is a WC~~> on 9 (line 11 of p. 208). The problem is that even though tk 3 t,. the proof does not ensure that k < 11 (line 16 of p. 208). Howeve

The Suslin operator in applicative theor

The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories

✍ Gerhard Jäger; Dieter Probst 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 306 KB

Proof theory and set theory

✍ Gaisi Takeuti 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 452 KB

Language and proof theory

✍ Dov Gabbay; Ruth Kempson 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 321 KB

Proof theory and complexity

✍ Carlo Cellucci 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 600 KB