Programa

Teoria dos Modelos

Doutoramento Bolonha em Matemática

Programa

Sugerem-se três tópicos principais, abordando-se pelo menos dois deles. Esta sugestão pode não ser seguida caso se decida focar profundamente num só tópico (caso o curso tenha somente estudantes de lógica) ou se decida incluir um novo tópico. Para cada tópico escolhido, sugere-se fortemente a discussão de, pelo menos, o seguinte: (1) Noções elementares da teoria de modelos. (2) Eliminação de quantificadores, critérios e exemplos. (3) Aplicações da teoria de modelos.