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.HOShow all

2 papers · 1 filter

math.HO2012

Todas as afirmações verdadeiras são demonstráveis

Jaime Gaspar

In this instructional exposition in Portuguese for the popularisation of mathematics, we state and prove the completeness theorem.

math.HO2012

A theorem with constructive and non-constructive proofs

Jaime Gaspar

We present a very simple example of a theorem with constructive and non-constructive proofs: the equation c^2 x^2 - (c^2 + c)x + c = 0 has a solution.