most citedFactorization of the Shoenfield-like bounded functional interpretation

7 citations · 7 across the 4 of their papers we have counts for

collaborators
Showing math.LOShow all

2 papers · 1 filter

math.LO2012

Copies of classical logic in intuitionistic logic

Jaime Gaspar

Classical logic (the logic of non-constructive mathematics) is stronger than intuitionistic logic (the logic of constructive mathematics). Despite this, there are copies of classic…

math.LO2010★ 7 cited

Factorization of the Shoenfield-like bounded functional interpretation

Jaime Gaspar

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 interpre…