Cursos actuales (II-2006)

1. Lógica II (segundo semestre, carrera de Filosofía)
2. Teoría de Modelos (postgrados de Matemáticas, o electiva avanzada de pregrado). En compañía con Alex Berenstein (Villaveces hasta Octubre 10, Berenstein a partir de Octubre 12).
3. Tópicos Avanzados de Lógica. (postgrados de Matemáticas, o electiva avanzada de pregrado). En compañía con Alex Berenstein y con la participación de Alf Onshuus de la Universidad de los Andes. Ver detalles de los tres temas y las fechas en el blog de clase mencionado arriba.

• 15 de septiembre: ¿Es en fin de cuentas la matemática una ciencia a priori? Boris Zilber: geometría, modelos y mundo.
• 27 de octubre: Una visión de la obra de Saharon Shelah: estructura esencial por detrás de bambalinas.

Seminarios - II-2006

1. Seminario de Teoría de Modelos
   Dado que este semestre hay un curso de Tópicos Avanzados de Lógica, el Seminario de Teoría de Modelos solo se reunirá en ocasiones especiales. Blog del seminario: Seminario de Teoría de Modelos II-2006
   Horario: martes, de 4:00 a 5:30 de la tarde, edificio 405 ("nuevo" de matemáticas), salón 202, Universidad Nacional.
   Este semestre el Seminario de Teoría de Modelos es coorganizado por Alf Onshuus de la Universidad de los Andes, y Alex Berenstein y yo mismo de la Universidad Nacional.
2. Seminario de Lógica
   Blog del seminario: Seminario de Lógica I-2006
   Horario: lunes, de 4 a 5 de la tarde, Universidad de los Andes.
   Este semestre el Seminario de Lógica es coorganizado por Alf Onshuus de la Universidad de los Andes, y Alex Berenstein y yo mismo de la Universidad Nacional.

Cursos anteriores (I-2006 y anteriores).

1. I-2006:
   1. Lógica I (primer semestre, carrera de Filosofía)
   2. Teoría Avanzada de Conjuntos (postgrados de Matemáticas, o electiva avanzada de pregrado)
2. II-2005:
   1. Lógica Matemática
   2. Seminarios de Teoría de Modelos y de Lógica Matemática (ambos seminarios coorganizados con Alexander Berenstein y Alf Onshuus).
3. I-2005:
   1. Teoría de Conjuntos
   2. Seminario de Teoría de Modelos
   Para el I semestre de 2005 ofrezco el seminario de postgrado "Teoría de Modelos Avanzada - Categoricidades". Los estudiantes de postgrado de la Nacional la pueden inscribir como Seminario I, II o III. Los estudiantes de los Andes pueden usar el convenio. Los estudiantes de pregrado deben acercarse a hablar con Humberto Sarria para poder inscribir esta materia.
   Nota: los que quieran recibir crédito en este seminario deben hablar conmigo pronto, y deben hacer mínimo dos exposiciones. Adicionalmente, deben trabajar en un proyecto para el seminario. Temas:
   1. Unicidad de modelos límite. Este es un trabajo reciente, con Rami Grossberg y Monica VanDieren, que planeo presentar. Generaliza resultados previos de varios autores, en el sentido de probar existencia y unicidad de un substituto de modelos saturados, en casos en los cuales los modelos saturados no funcionan bien.
   2. Categoricidad no contable. Este es un tema fundamental, de exposición.
   3. Elementos de estabilidad geométrica. Planeo ver algunos temas básicos, tanto en contextos de primer orden como en contextos más generales.
4. II-2004:
   1. Lógica Matemática
   2. Temas Avanzados de Lógica