8 citations · 20 across the 8 of their papers we have counts for
Showing 2010Show all
3 papers · 1 filter
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★ 5 cited
On Tao's "finitary" infinite pigeonhole principle
Jaime Gaspar, Ulrich Kohlenbach
In 2007, Terence Tao wrote on his blog an essay about soft analysis, hard analysis and the finitization of soft analysis statements into hard analysis statements. One of his main e…
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…