Factorization of the Shoenfield-like Bounded Functional Interpretation

@article{Gaspar2009FactorizationOT,
  title={Factorization of the Shoenfield-like Bounded Functional Interpretation},
  author={Jaime Gaspar},
  journal={Notre Dame Journal of Formal Logic},
  year={2009},
  volume={50},
  pages={53-60}
}
We adapt Streicher and Kohlenbach’s proof of the factorization S = K D 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 = K B of Ferreira’s Shoenfield-like bounded functional interpretation U in terms of K and Ferreira and Oliva’s bounded functional interpretation B. 

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 13 references

Injecting uniformities into Peano arithmetic

Ann. Pure Appl. Logic • 2009
View 10 Excerpts
Highly Influenced

Mathematical Logic, Addison-Wesley Publishing Co., Reading, 1967

J. R. Shoenfield
Zbl 0155.01102. MR 0225631 • 1967
View 4 Excerpts
Highly Influenced

Shoenfield is Gödel after Krivine

Math. Log. Q. • 2007
View 7 Excerpts
Highly Influenced

Bounded functional interpretation

Ann. Pure Appl. Logic • 2005
View 10 Excerpts
Highly Influenced

Opérateurs de mise en mémoire et traduction de Gödel

Arch. Math. Log. • 1990
View 5 Excerpts
Highly Influenced

On a hitherto unutilized extension of the finitary standpoint

K. Gödel, “Über eine bisher noch nicht benützte Erweiterung des fi Standpunktes, ” Dialectica, 12 vol., pp. 280–87. Translation to English
[7], pp. 240–51. Zbl 0090.01003. MR 0102482. 53, 60 • 1024
View 9 Excerpts
Highly Influenced

Introductory note to 1958 and 1972

A. S. Troelstra
introductory note in [7] to [5], 1990, pp. 217–41. 54 Acknowledgments I am grateful for the suggestions of Ulrich Kohlenbach, Fernando Ferreira, and an anonymous referee. This work was financially supported by the Fundação para a Ciência e a Tecnologia. Fachbereich Mathematik Technische Universität • 1990
View 3 Excerpts
Highly Influenced

Collected Works. Vol. II, edited by Solomon Feferman et

K. Gödel
Zbl • 1990

Similar Papers

Loading similar papers…