✦ LIBER ✦

Consistency proof via pointwise induction

✍ Scribed by Toshiyasu Arai

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An algebraic characterization of inducti

✍ Zhiqing Shao; Guoxin Song 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 242 KB

Consistency proof without transfinite in

✍ Caporaso, Salvatore 📂 Article 📅 1978 🏛 Springer-Verlag ⚖ 493 KB