✦ LIBER ✦

Some Formal Relative Consistency Proofs

✍ Scribed by Robert McNaughton

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Relative Consistency Proof

✍ Joseph R. Shoenfield 📂 Article 📅 1954 🏛 Association for Symbolic Logic 🌐 English ⚖ 621 KB

Consistency proof without transfinite in

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

A Proof of the Relative Consistency of t

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

Some Applications of Formalized Consiste

✍ Review by: G. Hasenjaeger 📂 Article 📅 1956 🏛 Association for Symbolic Logic 🌐 English ⚖ 292 KB

A consistency proof for some restriction

✍ McCallum, Rupert 📂 Article 📅 2013 🏛 John Wiley and Sons 🌐 English ⚖ 119 KB

The relative consistency of system RRC*

✍ Max A. Freund 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 494 KB