Factorization of the Shoenfield-like bounded functional interpretation

Details Factorization of the Shoenfield-like bounded functional interpretation Factorization of the Shoenfield-like bounded functional interpretation

2010-09-09

arxiv.org/abs/1009.1868v1

Notre Dame Journal of Formal Logic, volume 50, number 1, 2009, pages 53-60

Mathematics

Logic

Scientific paper

10.1215/00294527-2008-027

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\"odel 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.

Affiliated with

Also associated with

No associations

Rating

Factorization of the Shoenfield-like bounded functional interpretation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Factorization of the Shoenfield-like bounded functional interpretation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Factorization of the Shoenfield-like bounded functional interpretation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-560054