✦ LIBER ✦

A Relative Consistency Proof

✍ Scribed by Joseph R. Shoenfield

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some Formal Relative Consistency Proofs

✍ Robert McNaughton 📂 Article 📅 1953 🏛 Association for Symbolic Logic 🌐 English ⚖ 996 KB

A Proof of the Relative Consistency of t

✍ Review by: Leslie H. Tharp 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 377 KB

Consistency proof via pointwise inductio

✍ Toshiyasu Arai 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 162 KB

Gentzen’s consistency proof without heig

✍ Siders, Annika 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 222 KB

Dissipative quantum mechanics: A proof o

✍ H. Dekker 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 450 KB

A Relative Consistency Proofby Joseph R.

✍ Review by: J. R. Shoenfield 📂 Article 📅 1957 🏛 Association for Symbolic Logic 🌐 English ⚖ 134 KB