Olá para todos.
O programa do seminário sobre teoria de conjuntos que será apresentado pelo Henrique e pelo Guilherme está no link
http://dl.dropbox.com/u/5959592/seminario_set_theory.htm.
O seminário terá início no dia 31/8, quarta-feira, 16h na sala 4094.
Na terça, 30/8, 16h, veremos alguns resultados metateóricos:
Correção SL:
http://dl.dropbox.com/u/5959592/correcao_hunter28.4.pdf
Completude Henkin SL:
http://dl.dropbox.com/u/5959592/henkin_prop_1.pdf
http://dl.dropbox.com/u/5959592/henkin_prop_2.pdf
Consistência FOL
http://dl.dropbox.com/u/5959592/consistencia_fol.pdf
Correção FOL (usando quantificação objetual)
http://dl.dropbox.com/u/5959592/correcao_obj.pdf
Completude Henkin
http://dl.dropbox.com/u/5959592/completude_QS.pdf
Löwenheim-Skolem
http://dl.dropbox.com/u/5959592/low_sk.pdf
Completude com identidade
http://dl.dropbox.com/u/5959592/completude_identidade.pdf
Nenhum comentário:
Postar um comentário