fin de semestre

Nos quedan dos clases este semestre. Mañana miércoles planeo ver los temas que enumero más adelante, y el viernes básicamente haré sesión de repaso, preguntas y ejercicios (importantísimo estar ahí, pues algunas de las cosas que se discutan aparecerán seguro en el examen final).

Los temas de mañana:

1. Forma normal prenexa (en deuda antigua) - estratificación de las fórmulas - definibilidad refinada
2. Esquema (muy esquelético) del teorema de Gödel

El semestre entrante no ofrecemos teoría de modelos (se ofrece cada dos semestres). Pero si le llamaron la atención algunos de los últimos temas, tengan en mente la posibilidad de tomar teoría de modelos después. Conviene que la tomen después, o al tiempo con, teoría de Galois (que en la carrera se ve en el curso Teoría de Cuerpos). Si está muy entusiasmado con la teoría de modelos, y no quiere esperar hasta el otro semestre, puede intentar tomarla en los Andes (con Xavier Caicedo) el próximo semestre - pero hable conmigo primero.