MAT-5865: Teoria dos Modelos e Aplicações

Prova 1 (para 9 de maio).

Bibliografia

1. C. C. Chang, H. J. Keiler. Model Theory. Dover Publications; Third edition (June 13, 2012).
2. D. Marker. Model Theory: An Introduction. Springer, GTM 217, 2002.
3. B. Poizat. A Course in Model Theory-An Introduction to Contemporary Mathematical Logic. Springer, Universitext, 2000.

Material Disponível (apostilas) (requerem revisão)

Primeira ordem (clássica)

1. Introdução (Texto básico de Cálculo de Predicados)
2. Modelos
3. Ultraproductos
4. Cadeias de Modelos
5. Preservação e Forcing (incompleto)
6. Forcing
7. Modelos Saturados
8. Funções de Skolem e Indiscerníveis

Lógica Contínua (links externos)

1. Model theory for metric structures, by Ita\"{i} Ben Yaakov, Alexander Berenstein, C. Ward Henson, Alexander Usvyatsov.
2. Check Ben Yaakov's site for other publications.
3. Check José Iovino's site for the model theory of Banach Spaces.
4. For the model theory of C*-algebras, check arxiv.org:1602.08072 by I. Farah, B. Hart, M. Lupini, L. Robert, A. Tikuisis, A. Vignati, W. Winter.