7 citations · 7 across the 1 of their papers we have counts for
2 papers
math.LO2010
Negative translations not intuitionistically equivalent to the usual ones
Jaime Gaspar
We refute the conjecture that all negative translations are intuitionistically equivalent by giving two counterexamples. Then we characterise the negative translations intuitionist…
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…