Resumen de Shoenfield is Gödel after Krivine

Thomas Streicher, Ulrich Kohlenbach

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