Download como arquivo ICAL
Mestrado: Lógica de topos e aplicações
Quarta-feira 12 Junho 2019, 13:00
Contato: Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.

Candidato: Arthur Francisco Schwerz Cahali

Orientador: Hugo Luiz Mariano

Resumo: CAHALI, A. F. S. Lógica de topos e aplicações. 2019. 168 f. Dissertação (Mestrado) - Instituto de Matemática e Estatística, Universidade de São Paulo, São Paulo, 2019.


A primeira noção de topos, a do topos de Grothendieck, surgiu há cerca de 50 anos a partir de uma generalização do conceito de feixe na geometria algébrica. Poucos anos mais tarde, uma axiomatização categorial de algumas das propriedades de um topos de Grothendieck deu origem a uma segunda noção de topos, a do topos elementar; e essa descrição permitiu estabelecer ligações entre essas categorias e teoria dos conjuntos e lógica. Neste trabalho, estudamos a teoria de
topos com um foco especial na construção da lógica interna dos topoi, e exploramos sua relação com modelos Heyting-valorados.

Palavras-chave: topos, lógica categorial, modelos Heyting-valorados.

Local Auditório Antonio Gilioli