THE MEANING OF ARITHMETICAL SENTENCES, THE SET-THEORETIC DEFINABILITY AND THE ROLE OF CATEGORY THEORY IN SEMANTICS OF LOGICAL SYSTEMS

• Grant number: 09/10751-8
• Support Opportunities: Scholarships in Brazil - Post-Doctoral
• Start date: October 01, 2009
• End date: September 30, 2012
• Field of knowledge: Humanities - Philosophy - Logic
• Principal Investigator: Walter Alexandre Carnielli
• Grantee: Rodrigo de Alvarenga Freire
• Host Institution: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil

Scientific publications

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

FREIRE, RODRIGO A.. On Existence in Set Theory. NOTRE DAME JOURNAL OF FORMAL LOGIC, v. 53, n. 4, p. 525-547, 2012. (09/10751-8)

FREIRE, RODRIGO A.. On Existence in Set Theory, Part II: Relative Productivity. NOTRE DAME JOURNAL OF FORMAL LOGIC, v. 55, n. 1, p. 91-105, 2014. (09/10751-8)