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)
© 2001-2024 Fundación Dialnet · Todos los derechos reservados