Algumas técnicas e aplicações de Teoria dos Modelos

• Processo: 18/24490-0
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de janeiro de 2019
• Data de Término da vigência: 22 de novembro de 2020
• Área de conhecimento: Ciências Exatas e da Terra - Matemática
• Pesquisador responsável: Leandro Fiorini Aurichi
• Beneficiário: Henrique de Almeida Lecco
• Instituição Sede: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brasil
• Assunto(s): Lógica matemática Teoria dos modelos
• Palavra(s)-Chave do Pesquisador: Algebra | conjuntos | modelos | Topologia | lógica matemática

Resumo

A Teoria de Modelos trata do estudo de estruturas, tais como grupos, corpos, ordens e grafos, sob a ótica da lógica matemática, portanto, de uma forma essencialmente fundamentalista. Tais estruturas são formadas por um vocabulário, dotado de símbolos lógicos e não-lógicos, e teorias, que são conjuntos de sentenças. Além da importância da área por si só, destaca-se a possibilidade de aplicações nas mais variadas áreas de estudo, tais como Análise, Álgebra, Topologia e até Ciência da Computação Teórica. O projeto tem por objetivo estudar tópicos da Teoria de Modelos, sempre tendo em vista possíveis aplicações.