✦ LIBER ✦

The Ω-consistency of ramified analysis

✍ Scribed by Parsons, Charles

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The ω-Consistency of Ramified Analysisby

✍ Review by: Gert H. Müller 📂 Article 📅 1965 🏛 Association for Symbolic Logic 🌐 English ⚖ 201 KB

The ω-Consistency of Ramified Analysisby

✍ Review by: Gert H. Müller 📂 Article 📅 1966 🏛 Association for Symbolic Logic 🌐 English ⚖ 204 KB

The Consistency of the Ramified Principi

✍ Review by: Paul Bernays 📂 Article 📅 1939 🏛 Association for Symbolic Logic 🌐 English ⚖ 313 KB

The consistency of “ℸCH +pa ≤ ω1”

✍ Piotr Koszmider 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 380 KB

The Relative Consistency of g < cf(Sym(ω

✍ Heike Mildenberger and Saharon Shelah 📂 Article 📅 2002 🏛 Association for Symbolic Logic 🌐 English ⚖ 422 KB

On Kalmar's consistency proof and a gene

✍ Boolos, George S. 📂 Article 📅 1975 🏛 Springer-Verlag ⚖ 363 KB