Shoenfield is Gödel after Krivine
Thomas Streicher, Ulrich Kohlenbach · Mathematical logic quarterly · 2007
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)