✦ LIBER ✦

A proof-theoretic analysis of collection

✍ Scribed by Lev D. Beklemishev

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof-theoretic analysis of termination

✍ Wilfried Buchholz 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 522 KB

Proof-theoretic analysis by iterated ref

✍ L.D. Beklemishev 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 343 KB

A Proof-theoretic View of Necessity

✍ Reinhard Kahle 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 239 KB

Proof-theoretical analysis of order rela

✍ Sara Negri; Jan von Plato; Thierry Coquand 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 109 KB

The proof-theoretic analysis of Σ11 tran

✍ Christian Rüede 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 361 KB

This article provides an ordinal analysis of 1 1 transÿnite dependent choice.

A proof-theoretic approach to entailment

✍ N. Tennant 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 818 KB