✦ LIBER ✦

Gödel functional interpretation and weak compactness

✍ Scribed by Ulrich Kohlenbach

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Mathematics] Extension

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

Gödel's Functional Interpretation and it

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

On interpreting Gödel's Second Theorem

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

Weak compactness and reflexivity

✍ Robert C. James 📂 Article 📅 1964 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 923 KB

Functional Compactness and C-Compactness

✍ Lim, T.-C.; Tan, K.-K. 📂 Article 📅 1974 🏛 Oxford University Press 🌐 English ⚖ 191 KB

Two notions of compactness in Gödel logi

✍ Petr Cintula 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 308 KB