✦ LIBER ✦

Mathematical Proof Theory in the Light of Ordinal Analysis

✍ Scribed by Reinhard Kahle

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Suslin operator in applicative theor

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

Proof Theory in Philosophy of Mathematic

✍ Andrew Arana 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 116 KB

The Church–Fitch knowability paradox in

✍ Paolo Maffezioli, Alberto Naibo, Sara Negri 📂 Article 📅 2012 🏛 Springer Netherlands 🌐 English ⚖ 518 KB

THE ROLE OF PROOF IN MATHEMATICS AND MAT

✍ Lutzer, Carl V. 📂 Article 📅 2005 🏛 Taylor and Francis Group 🌐 English ⚖ 894 KB

Relativized ordinal analysis: The case o

✍ Rathjen, Michael 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 396 KB

Mathematical analysis of the Miller-Modi

✍ S.P. Sethi; N.A. Derzko; J.P. Lehoczky 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 391 KB