Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Jaime Gaspar
Researcher
PaperOn Tao's "finitary" infinite pigeonhole principleAuthorship / preprint / 2010PaperFactorization of the Shoenfield-like bounded functional interpretationAuthorship / preprint / 2010PaperNegative translations not intuitionistically equivalent to the usual onesAuthorship / preprint / 2011PaperTodas as afirmações verdadeiras são demonstráveisAuthorship / preprint / 2012PaperCopies of classical logic in intuitionistic logicAuthorship / preprint / 2012PaperA theorem with constructive and non-constructive proofsAuthorship / preprint / 2012PaperVariants into minimal logic of the Kuroda negative translationAuthorship / preprint / 2013