Mathematics
Logic
Scientist
Factorization of the Shoenfield-like bounded functional interpretation
On Tao's "finitary" infinite pigeonhole principle
Variants into minimal logic of the Kuroda negative translation
No associations
LandOfFree
Jaime Gaspar does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Jaime Gaspar, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Jaime Gaspar will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-354999