Sumários
AP11 Igualdade
20 maio 2010, 16:30 • Maria Cristina De Sales Viana Serôdio Sernadas
EXercícios sobre teorias com igualdade e existência de modelo normal.
AT23 Representabilidade (conc)
20 maio 2010, 15:00 • Amilcar Sernadas
Lema da remoção da recursão primitiva por codificação das sequências de números naturais. Aplicações e conjuntos computáveis à Gõdel. Aplicação beta de Gõdel. Representabilidade das aplicações computáveis em Th(N). Referência à representabilidade das aplicações computáveis na teoria finitamente axiomatizada N.
Lema de Cantor (argumento da diagonal).
AT22 Representabilidade
18 maio 2010, 15:00 • Amilcar Sernadas
Conclusão da aula anterior: Aritmética como lógica (FOLA) e sua incompletude forte com argumento de não compacidade.
Aplicação representável em teoria da aritmética. Conjunto representável em teoria da aritmética. Lema da equivalência entre representabilidade de conjunto e da respectiva aplicação característica. Referência ao teorema de normalização de Kleene.
AP 10 Completude
13 maio 2010, 16:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Exercícios sobre completude.
AT21 Aritmética
13 maio 2010, 15:00 • Amilcar Sernadas
Conclusão da aula anterior: Lógica de primeira ordem com igualdade (FOLE).
Teorias da aritmética. Estrutura padrão. Teorias Th(N), N e P.