Curso
Doutorado
Título da pesquisa
Uma nova concepção de lógica abstrata como base para teoria da definibilidade
Resumo da pesquisa
Este projeto tem por objetivo desenvolver um quadro unificado para os sistemas lógicos baseado no método de Fraïssé para a lógica de primeira ordem. A proposta visa fornecer um tratamento mais fino para a noção de definibilidade que pode ser aplicado para a comparação de poder expressivo de sistemas. De forma sucinta, propomos (i) desenvolver uma definição de sistema lógico adequada às investigações sobre definibilidade e contrastar esta abordagem com as outras já bem conhecidas para lógica abstrata; (ii) transportar resultados da teoria da definibilidade em primeira ordem, na suas vertentes finitária e infinitária, para o contexto unificado; (iii) investigar a relevância deste contexto para os fundamentos da matemática.
Orientador
Edelcio Gonçalves de Souza