Cursos actuales (I-2009)

Seminarios - I-2009

1. Seminario de Teoría de Modelos - Model Theory Seminar
   Información del seminario: ver el blog del Grupo de Lógica de Bogotá.
   Horario: lunes, de 9:15 a 10:30 de la mañana, edificio 405 ("nuevo" de matemáticas), salón 202, Universidad Nacional.
   
2. Seminario de Lógica
    Información aún no disponible.

Cursos anteriores (I-2008 y anteriores).

1. II-2008:
   1. Teoría de Modelos.
   2. Lógica III: carrera de Filosofía.
2. I-2008: 
   1. Tópicos Avanzados de Lógica: semántica de juegos de Ehrenfeucht-Fraïssé y configuración de grupo en clases homogéneas cuasiminimales.
   2. Lógica Matemática: carrera de Matemáticas.
3. II-2007: Recursion Theory (University of Helsinki).
      
4. I-2007: Model Theory of Abstract Elementary Classes (University of Helsinki).
      
5. 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.
   Adicionalmente, en 2006-II participé dos veces en el Seminario de Filosofía de la Matemática que organizó nuestro colega Fernando Zalamea Traba. Dí dos charlas (aproximadamente una hora cada una) en las siguientes fechas:
   • 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.
6. 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)
7. 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).
8. 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.
9. II-2004:
   1. Lógica Matemática
   2. Temas Avanzados de Lógica
10. I-2004:
    1. Teoría Avanzada de Conjuntos (Universidad Nacional/Universidad de los Andes)
    2.  Lógica (Carrera de Matemáticas)
11. II-2003:
    1. Teoría de Modelos
    2. Lógica I (Carrera de Filosofía)
12. Spring 2003:
    1. Model Theory (Carnegie Mellon University)
    2. Undergraduate Set Theory (Carnegie Mellon University)
13. Fall 2002:
    1. Integral Calculus (Carnegie Mellon University)