El curso
Esta vez el curso será dado por dos profesores: Andrés Villaveces (hasta el 10 de octubre) y Alexander Berenstein (desde el 12 de octubre). La razón es sencillamente que otro curso (Tópicos Avanzados de Lógica) será dado por esos mismos profesores, junto con un módulo por Alf Onshuus (UniAndes).
El libro a seguir son (principalmente) las notas de clase de Ward Henson. De vez en cuando usaremos material adicional.
Otros libros útiles (sobre todo para ejercicios – el libro de clase tiene pocos ejercicios) incluyen
- Model Theory: An Introduction, de David Marker.
- Model Theory, de Chang y Keisler.
- A short Model Theory, de Wilfred Hodges.
- A course in Model Theory, de Rami Grossberg (notas en archivo pdf – hablar con Andrés Villaveces).
El curso tendrá cuatro exámenes (dos por A. Villaveces y dos por A. Berenstein). Los valores serán anunciados más adelante.
