CV Lattes
ORCID
Google Scholar Citations
Universidade Estadual de Campinas (UNICAMP). Centro de Lógica, Epistemologia e História da Ciência (CLE) (Institutional affiliation for the last research proposal) Birthplace: Brazil
graduation at Filosofia from Universidade do Sul de Santa Catarina (2016) and graduation at Engenharia da Computação from Instituto Tecnológico de Aeronáutica (2013). (Source: Lattes Curriculum)
| News published in Agência FAPESP Newsletter about the researcher |
| TITULO |
| Articles published in other media outlets (0 total): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Often ZF practice includes the use of the meta-theoretical notion of classes as shorthand expressions or in order to simplify the understanding of conceptual resources. NBG theory expresses formally the internalization of this feature in set theory; in this case, classes, before used metatheoretically, will also be captured by quantifiers of the first order theory. Nevertheless there is a…
In this internship proposal we are interested in going to the Graduate Center at the City University of New York to advance our ongoing research in compared ontological commitment between first order theories. The focus of the research will be on comparisons among set theories, particularly the Zermelo-Fraenkel set theory (ZFC) and von Neumann-Bernays-G\"odel class theory (NBG), envisioni…
| 1 / 1 | Completed scholarships in Brazil |
| 1 / 1 | Completed scholarships abroad |
| 2 / 2 | All Scholarships |
| Associated processes | |