CV Lattes
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas (IFCH) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui graduação em Engenharia Aeronáutica pelo ITA (1997), mestrado em Lógica pela UNICAMP (2001) e doutorado em Filosofia pela UNICAMP (2005). Atualmente é Auditor Fiscal da Receita Estadual de São Paulo. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
O objetivo principal do projeto é, de modo geral, o estudo e a compreensão dos conceitos principais da teoria de modelos em categorias, visando principalmente a estabelecer relações entre os enfoques "clássicos" de Makkai-Reyes e Johnstone e a generalização que utiliza elementos parciais para interpretar as constantes (M.E. Coniglio: "Categorical Logic with Partial Elements", a aparecer e…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |