CHRISTIAN MARCEL DE AMORIM PERRET GENTIL DIT MAILLARD

Título da pesquisa
Sobre o Conceito de Proto Topos
Resumo da pesquisa

A pesquisa visa o estudo da categoria Proto Topos e a possibilidade de derivar o cálculo proposicional dela. Em seguida verificar alguns resultados relevantes em um topos, a título de comparação, como por exemplo uma versão do teorema fundamental em topos para proto topos. Outro ponto importante que está sendo estudado é a questão da lógica de um proto topos, é ela uma álgebra de Boole ou uma álgebra de Heyting?

Curso
Doutorado
Orientador
Prof. Dr. Edélcio Gonçalves de Souza