✦ LIBER ✦

Shoenfield is Gödel after Krivine

✍ Scribed by Thomas Streicher; Ulrich Kohlenbach

Publisher: John Wiley and Sons
Year: 2007
Tongue: English
Weight: 95 KB
Volume: 53
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.200610038

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

We show that Shoenfield's functional interpretation of Peano arithmetic can be factorized as a negative translation due to J. L. Krivine followed by Gödel's Dialectica interpretation. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

n-Fold implicative basic logic is Gödel

n-Fold implicative basic logic is Gödel logic

✍ Esko Turunen; Nganteu Tchikapa; Celestin Lele 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 240 KB

Erratum to:n-Fold implicative basic logi

Erratum to:n-Fold implicative basic logic is Gödel logic

✍ Esko Turunen; Nganteu Tchikapa; Celestin Lele 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 133 KB

“Don't you think it is very exiting?” –

“Don't you think it is very exiting?” – Ein Beitrag zur Untersuchung des Hintergrunds der Entstehung des rotierenden Gödel-Universums

✍ Tobias Jung 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 German ⚖ 245 KB