Factorization of the Shoenfield-like bounded functional interpretation
Abstract
We adapt Streicher and Kohlenbach's proof of the factorization S = KD of the Shoenfield translation S in terms of Krivine's negative translation K and the Gödel functional interpretation D, obtaining a proof of the factorization U = KB of Ferreira's Shoenfield-like bounded functional interpretation U in terms of K and Ferreira and Oliva's bounded functional interpretation B.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2010
- DOI:
- 10.48550/arXiv.1009.1868
- arXiv:
- arXiv:1009.1868
- Bibcode:
- 2010arXiv1009.1868G
- Keywords:
-
- Mathematics - Logic;
- 03F03;
- 03F10
- E-Print:
- Notre Dame Journal of Formal Logic, volume 50, number 1, 2009, pages 53-60