Filosofia.
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.
Linguagens infinitárias; definibilidade; automorfismos de estruturas de primeira ordem.
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.
Ano de início 2004; em andamento.
Edelcio Gonçalves de Souza; Alexandre Augusto Martins Rodrigues; Ricardo Carneiro de Miranda Filho.
Edelcio Gonçalves de Souza; Alexandre Augusto Martins Rodrigues; Ricardo Carneiro de Miranda Filho.