Apolo

Atividade

96591 - Teoria de Modelos e Aplicações

Período da turma:

20/07/2020 a 06/08/2020

Selecione um horário para exibir no calendário:

Descrição:

Dar-se-á ênfase, em particular, a resultados de Álgebra, tais quais o Nullstellesatz de Hilbert e o Teorema de Ax-Grothendieck.
O curso é direcionado àqueles que tenham interesse em conhecer essas técnicas e possuam conhecimento básico sobre Álgebra.

Ementa:
Linguagens, fórmulas, modelos. Relações entre modelos. Submodelos elementares, os Teoremas de Löwenheim-Skolem-Tarski.
Eliminação de quantificadores, Nullstellensatz de Hilbert. 17º Problema de Hilbert. Ultraprodutos, compacidade.
Teoremas de Ax-Grothendieck, Irredutibilidade de Noether-Ostrowski e Ramsey.

Pré-requisitos: noções de Álgebra (corpos e anéis), Teoria de Conjuntos básica (operações com conjuntos, enumerabilidade)

Bibliografia:
https://sites.icmc.usp.br/aurichi/modelos/doku.php

Carga Horária:

12 horas

Tipo:

Obrigatória

Vagas oferecidas:

140

Ministrantes:

Caio Lopes de Araújo
Henrique de Almeida Lecco

voltar