Teoria dos modelos inspirada em geometria algébrica moderna

Resumo

Nesse trabalho estudaremos Teoria de Modelos com um viés da Geometria Algébrica Grothendieckiana, isto é, percorreremos a literatura buscando o uso histórico de técnicas análogas à esquemas no contexto da Teoria dos Modelos Categorial. Centralmente, o projeto percorerrá a tese de Ph.D de Steve Breiner e artigos correlatos. Visando isso, primeiramente pretende-se inserir o aluno no contexto da Lógica Categorial, com ênfase no uso de Topoi para o estudo da Teoria dos Modelos. Finalmente, projetamos levar as ideias de Breiner adiante: assim como os feixes espaciais se desenvolveram em feixes de topologias de Grothendieck tentaremos trazer o conceito de esquemas lógicos para um contexto mais geral. (AU)