Principal Investigator of a Jovem Pesquisador grant from FAPESP for the project:

Genericity and arbitrariness. Or how to speak of the unspeakable 

The project deals with the interplay of language, logic, and mathematics. The main theme of the project is the study of the expressivity of our language when applied to the description of mathematical concepts, specificially in set theory. The project investigates the notion of arbitrary set in the context of independence and the theory of forcing. It is therefore proposed a study of the connections between genericty and arbitrarienss in set theory.

At IFCH, UNICAMP

Associated researchers: Rodrigo Freire (UnB), Hugo Luiz Mariano (USP), Mattia Petrolo (UFABC), Marco Ruffino (Unicamp), Sourav Tarafder (Unicamp and Xavier Colleage Kalkota)

Official Site

Principal Investigator of the CNPq-project

Um caso de estudo sobre lógica modal não-normal 

At IFCH, UNICAMP

Associated researchers: David Gilbert (University of British Columbia) and Mattia Petrolo (UFABC).