TEORIA DE MODELOS PARA LINGUAGENS INFINITÁRIAS
Departamento
Filosofia.
Resumo
Análise das noções de definibilidade e satisfatibilidade em estruturas relacionais de primeira ordem e de ordem superior. Estuda-se a relação entre essas noções e o conjunto de invariantes por automorfismos da estrutura considerada. Linguagens infinitárias são consideradas, bem como relações com aridades correspondentes a ordinais.
Palavras-chave
Linguagens infinitárias; definibilidade; automorfismos de estruturas de primeira ordem.
Aplicações/produtos
Definability and invariance in first order structures. Relatório Técnico: Instituto de Matemática e Estatística USP, 2004. Invariance and set-theoretical operations in fi rst order structures. Reports on Mathematical Logic 40 (2006), pp. 207-213. Definibility in infinitary languages and invariance by automorphisms. Reports on mathematical Logic 45 (2010) pp. 119-133.
Fase em que se encontra o projeto
Ano de início 2004; em andamento.
Pesquisadores Responsáveis
Edelcio Gonçalves de Souza; Alexandre Augusto Martins Rodrigues; Ricardo Carneiro de Miranda Filho.
Equipe com participação ativa na pesquisa
Edelcio Gonçalves de Souza; Alexandre Augusto Martins Rodrigues; Ricardo Carneiro de Miranda Filho.