Translator Disclaimer
2009 Factorization of the Shoenfield-like Bounded Functional Interpretation
Jaime Gaspar
Notre Dame J. Formal Logic 50(1): 53-60 (2009). DOI: 10.1215/00294527-2008-027

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.

Citation

Download Citation

Jaime Gaspar. "Factorization of the Shoenfield-like Bounded Functional Interpretation." Notre Dame J. Formal Logic 50 (1) 53 - 60, 2009. https://doi.org/10.1215/00294527-2008-027

Information

Published: 2009
First available in Project Euclid: 19 January 2009

zbMATH: 1190.03050
MathSciNet: MR2536700
Digital Object Identifier: 10.1215/00294527-2008-027

Subjects:
Primary: 03F03, 03F10

Rights: Copyright © 2009 University of Notre Dame

JOURNAL ARTICLE
8 PAGES


SHARE
Vol.50 • No. 1 • 2009
Back to Top