MAT-5865: Teoria dos Modelos e Aplicações

Primeiro semestre de 2009.

Prof. Ricardo Bianconi.

Terças-feiras às 10h e às quintas-feiras às 8h. SALA B16.

Material auxiliar:

1) Um texto introdutório sobre a linguagem matemática: Aqui.

2) Um texto não revisado sobre os teoremas de incompletude de Gödel: Aqui.

3) Um texto introdutório sobre o cálculo proposicional intuicionista. Aqui.

4) Um resumo de teoria dos conjuntos. Aqui.

Material principal:

1) Um texto sobre o Método das Constantes: Aqui.

2) Um texto sobre Ultraprodutos e Cardinais Mensuráveis: Aqui.

3) Cadeias elementares. Aqui.

4) Indiscerníveis e funções de Skolem. Aqui.

5) Saturação. Aqui.

6) Forcing em Teoria dos Modelos. Aqui.

Segunda Lista de Exercícios para nota: aqui. Entregar até o dia 30/06/2009.

Primeira Lista de Exercícios para nota: aqui.