Factorization of the Shoenfield-like Bounded Functional Interpretation
Gaspar, Jaime
Notre Dame J. Formal Logic, Tome 50 (2009) no. 1, p. 53-60 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2009-01-15
Classification:  functional interpretation,  negative translation,  majorizability,  03F03,  03F10 
@article{1232375162,
     author = {Gaspar, Jaime},
     title = {Factorization of the Shoenfield-like Bounded Functional Interpretation},
     journal = {Notre Dame J. Formal Logic},
     volume = {50},
     number = {1},
     year = {2009},
     pages = { 53-60},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1232375162}
}

Gaspar, Jaime. Factorization of the Shoenfield-like Bounded Functional Interpretation. Notre Dame J. Formal Logic, Tome 50 (2009) no. 1, pp.  53-60. http://gdmltest.u-ga.fr/item/1232375162/