Clase de mañana

Mañana me gustaría que alguno de ustedes exponga 6.2 (las dos partes) y alguien exponga 6.9 (minimalidad fuerte de ACF). Por otro lado, revise el post anterior – hay otras exposiciones por preparar.

Aclaración, etc.

Varias cosas:

1. Aunque lo que hicimos hoy para verificar (de una segunda manera) la eliminación de cuantificadores de T_ord = DLO era correcto (con los cortes de Dedekind, etc.), el argumento es mucho más directo si sencillamente se toma una estructura finitamente generada. No es necesario entonces considerar todos los casos vistos.
2. Preparen para iniciar la clase la completez de T_ord = DLO. Está en 5.8.
3. Preparen el argumento de 5.9 (criterio de completez – similar a 5.8, pero no hecho en el libro).
4. Los argumentos en torno a T_dis son responsabilidad de ustedes. No los veremos en clase, pero usted debe tener claro que debe poder aplicar argumentos similares para varias teorías distintas. Si tiene preguntas sobre 5.11, 5.12 y 5.13, con gusto daré claves. Pero en principio no vemos ese tema en clase.
5. El Teorema 5.14 sí es bien útil. De pronto pido que alguien lo exponga en clase. Ciertamente lo usaremos.
6. Empezaremos a ver modelos de ACF (teoría de cuerpos algebraicamente cerrados) también el jueves. Lea el álgebra necesaria para entender los argumentos de páginas 33 y 34, si no la ha visto en otro curso o no la recuerda. Haré un inicio del tema yo mismo, pero a partir de la semana próxima de clases (después del receso) usted tendrá que exponer trozos de este tema. Arrancaremos minimalidad fuerte pronto entonces.
7. Me gustaría que alguno de ustedes hiciera una breve exposición (esa sí preparada de antemano) del capítulo de Z-grupos. De pronto pueden hacer esa exposición cuidadosamente dos o tres de ustedes durante una hora de clase. Deberían hablar conmigo quienes estén interesados, y preparar con cuidado.
8. Y aterrizamos rápido en clausura algebraica modelo-teórica (capítulo 8 ). Esta generaliza la clausura algebraica de cuerpos (con la cual usted debería tener cierta familiaridad). La idea aquí es que un elemento  b  queda capturado en la clausura algebraica de un conjunto  A  (en un modelo  M ⊃A  si existe una fórmula  φ(x,y) , y existe una tupla  a  en  A  de la misma longitud de  y  tal que en  M  vale la fórmula  φ(b,a)  y   |φ(M,a)|<ω … es decir, la “φ-órbita” de   b  con parámetros  a  es finita en  M .

Javier Moreno habla sobre categorías de Tannaka

Mañana jueves 7 de septiembre Javier Moreno (U. Illinois – Urbana Champaign) hablará en el Seminario de Estudiantes de Postgrado sobre Categorías de Tannaka.

Título de la Charla: Categorías exprimidoras de grupos.
Lugar y Hora: Auditorio 202 – Ed. 405 – 4 pm
Resumen: ¿Hasta qué punto un grupo está determinado por su categoría de representaciones? Las categorías de Galois y de Tannaka nos brindan respuestas parciales a esta pregunta. En esta charla exploraremos brevemente sus definiciones y presentaremos algunas de sus propiedades más importantes.

Material adicional

Como había prometido, ya están las primeras páginas (138) del libro de Grossberg, con ejercicios relevantes al curso. Recuerde que están en una página protegida con contraseña en este blog. Haga clic en la pestaña arriba donde dice “El libro de Rami Grossberg” y marque la contraseña que les di en clase para acceder.

Javier Moreno – Rodrigo Peláez

Javier Moreno (estudiante de doctorado de University of Illinois at Urbana-Champaign) y Rodrigo Peláez (estudiante de doctorado de la Universidad de Barcelona) darán dos minicursos la semana entrante. Los minicursos pueden ser vistos como parte del Seminario de Teoría de Modelos, y también como parte del curso Tópicos Avanzados de Lógica (que damos este semestre Alex Berenstein, Alf Onshuus y Andrés Villaveces).

Javier Moreno está en Bogotá gracias al programa “Jóvenes Investigadores” del Departamento de Matemáticas, dirigido a estudiantes que están finalizando sus doctorados o a postdocs con doctorado reciente. (Alex Usvyatsov, graduado en 2005 de la Universidad Hebrea de Jerusalén y actualmente postdoc en UCLA, vendrá con el mismo programa entre el 6 y el 15 de septiembre y dará un minicurso que será anunciado aquí.)
Rodrigo Peláez está en Bogotá gracias al apoyo parcial de las Universidades de los Andes y Nacional.
Los minicursos (de tres sesiones de una hora cada uno) tendrán lugar en la Universidad Nacional, en el siguiente horario:

1. Teoría de Modelos del Álgebra Diferencial. (Javier Moreno)
   • Lunes 4 de septiembre – 4 pm – Salón 202- Edificio 405.
   • Miércoles 6 de septiembre – 2 pm – Salón 310 – Edificio 405.
   • Viernes 8 de septiembre – 2 pm – Salón 310 – Edificio 405.
2. Teorías G-compactas de Lascar. (Rodrigo Peláez)
   • Lunes 4 de septiembre – 5 pm – Salón 202 – Edificio 405.
   • Miércoles 6 de septiembre – 3 pm – Salón 310 – Edificio 405.
   • Viernes 8 de septiembre – 3 pm – Salón 310 – Edificio 405.