Shoenfield is Gödel after Krivine

• Autores: Thomas Streicher, Ulrich Kohlenbach
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 53, Nº. 2, 2007, págs. 176-179
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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)