✦ LIBER ✦

Extending Gödel's Negative Interpretation to ZF

✍ Scribed by William C. Powell

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On interpreting Gödel's Second Theorem

✍ Michael Detlefsen 📂 Article 📅 1979 🏛 Springer Netherlands 🌐 English ⚖ 953 KB

[Lecture Notes in Mathematics] Extension

✍ , 📂 Article 📅 1973 🏛 Springer Berlin Heidelberg ⚖ 445 KB

Intuitionistic Analysis and Gödel's Inte

✍ Review by: A. S. Troelstra 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 134 KB

Extending compact topologies to compact

✍ Horst Herrlich; Kyriakos Keremedis 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 190 KB

An Analysis of Gödel's dialectica Interp

✍ Paulo Oliva 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 799 KB

Gödel's Functional Interpretation and it

✍ Ulrich Kohlenbach 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 468 KB