𝔖 Bobbio Scriptorium

✦ LIBER ✦

Gödel's Functional Interpretation and its Use in Current Mathematics

✍ Scribed by Ulrich Kohlenbach

Book ID: 111367601
Publisher: John Wiley and Sons
Year: 2008
Tongue: English
Weight: 468 KB
Volume: 62
Category: Article
ISSN: 0012-2017
DOI: 10.1111/j.1746-8361.2008.01141.x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Mathematics] Extension

[Lecture Notes in Mathematics] Extensional Gödel Functional Interpretation Volume 306 || Gödel's functional interpretation in the narrower sense

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

[Lecture Notes in Mathematics] Extension

[Lecture Notes in Mathematics] Extensional Gödel Functional Interpretation Volume 306 || Introduction and survey

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

[Lecture Notes in Mathematics] Extension

[Lecture Notes in Mathematics] Extensional Gödel Functional Interpretation Volume 306 || Elimination of extensionality

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

[Lecture Notes in Mathematics] Extension

[Lecture Notes in Mathematics] Extensional Gödel Functional Interpretation Volume 306 || The calculus T of the primitive recursive functionals

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

[Lecture Notes in Mathematics] Extension

[Lecture Notes in Mathematics] Extensional Gödel Functional Interpretation Volume 306 || A formal system of classical analysis

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

[Lecture Notes in Mathematics] Extension

[Lecture Notes in Mathematics] Extensional Gödel Functional Interpretation Volume 306 || Translation of classical into intuitionistic approximated theories

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