Plano de Estudos

Teoria dos Modelos TMod

Contextos

ECTS

7.5 (para cálculo da média)

Objectivos

Introduzir o aluno doutoral à teoria de modelos e às suas técnicas principais, tendo em conta uma possível dissertação que se apoie nesta temática. Pretende-se que os tópicos da unidade curricular  sejam também interessantes para o aluno não especialista em lógica matemática. Por isso, a disciplina não deve focar tópicos demasiado especializados (estes tópicos devem ser deixados ao aluno especialmente motivado).

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.

Método de Avaliação

Exposição teórica. Trabalhos para casa dados durante a aula teórica. Possível discussão oral.

Carga Horária

Bibliografia

Principal

• 1. D. Marker. Model theory: an introduction. Graduate texts in mathematics 217, Springer-Verlag 2010. 2. W. Hodges. A shorter model theory.   Cambridge University Press  1997. 3. D. Marker, M. Messmer and A. Pillay. Model theory of fields. Lecture Notes in Logic 5. Springer Verlag 1996. 4. E. Bouscaren (ed.). Model theory and algebraic geometry. Lecture Notes in Mathematics 1696. Springer Verlag. 1998. 5. L. van den Dries. Tame topology and o-minimal structures. LMS Lecture Notes Series 248. Cambridge University Press 1998. 6. J. Denef  e L. van den Dries. p-adic and real sub-analytic sets.  Annals of Mathematics 128 (1) (1988) pp. 79-138.:

Secundária

Disciplinas de Execução

2020/2021 - 2º semestre

2021/2022 - 2 Semestre

2017/2018 - 2 Semestre

2017/2018 - 1 Semestre

2016/2017 - 1 Semestre