Ordens parciais estritas

23 novembro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Conceitos básicos ligados a ordens parciais estritas e seus morfismos. Segmentos iniciais.

Teorias categóricas

19 novembro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Exercício sobre a categoricidade da teoria das ordens densas sem limites.

Pequeno teste sobre cálculo de Gentzen.

Teoria categórica

18 novembro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Teoria finitamente satisfazível. Existência de extensão completa e finitamente satisfazível. Teoria categórica.

Teoria completa

16 novembro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Teoria completa para modelos e teoria com modelo primo. Condição suficiente para que uma teoria seja completa.

Relacionamento entre teoria com eliminação de quantificadores e teoria completa para modelos. Exemplos.

Eliminação de quantificadores e diagramas

12 novembro 2009, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Exercícios sobre caracterizações de teoria com eliminação de quantificadores e sobre relacionamento entre diagrama de estrutura e teoria de estrutura sobre assinatura enriquecida.