Posted on Monday 11 September 2006
SEMINARIO DE LÓGICA MATEMÁTICA DE BOGOTÁ
Conferencista: Alex Usvyatsov, University of California at Los Angeles
Lunes 11 de septiembre, 4 pm.
AU-302. Universidad de los Andes.
Posted on Thursday 31 August 2006
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:
- 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.
- 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.
Posted on Thursday 25 May 2006
José Iovino, de la Universidad de Texas en San Antonio, hablará en el Seminario el próximo martes 30 de mayo, a las 4 pm (salón 405-202).
Título: Un enfoque nuevo al teorema clásico de omisión de tipos.
Resumen: Discutiré la noción de forzamiento para estructuras métricas, y cómo esta noción generaliza varias construcciones clásicas de la teoría de modelos, por ejemplo, el teorema de omisión de tipos y algunos teoremas de dos cardinales. Tambien discutiré algunas aplicaciones nuevas. El trabajo que se presentará ha sido realizado junto con Itay Ben Yaacov.
Posted on Tuesday 18 April 2006
Habla Alexander Berenstein (Universidad Nacional) en el horario usual (4pm) en el sitio usual (405-202).
Título: Espacios de Hilbert con un predicado aleatorio.
Resumen: Estudiamos la teoría de modelos de espacios de Hilbert con un predicado aleatorio. También discutiremos el caso de los espacios de probabilidad.
Posted on Tuesday 28 March 2006
Hoy habla Alf Onshuus (UniAndes) a las 4 pm en el Seminario de Teoría de Modelos. Será la segunda entrega de la charla sobre su teorema de descomposición de grupos dependientes de rango-thorn finito, en parte estable y parte ordenada.
Posted on Monday 27 March 2006
Alf Onshuus (UniAndes) completará este martes 28 de marzo (hora y lugar usuales: 405-202, 4 pm, Universidad Nacional) su presentación de la demostración de la descomposición de grupos dependientes con u-thorn rango finito en parte estable y parte ordenada.
Posted on Friday 17 March 2006
El próximo martes (21 de marzo) habla Alf Onshuus (como siempre este semestre, en el 405-202 a las 4 pm).
Título: Subgrupos estables de grupos dependientes.
Abstract: Demostraremos que cualquier grupo dependiente con thorn-rango finito contiene un grupo estable normal maximal.
Nota importante: la charla será autocontenida. Daremos todas las definiciones necesarias para entender la demostración.
Posted on Monday 13 March 2006
Este martes 14 de marzo, a las 4 pm, hablará Itay Ben Yaacov. El título lo anunciaremos después.
Salón: 405-202.
Posted on Tuesday 7 March 2006
El próximo martes 14 de marzo reanudamos el seminario de Teoría de Modelos. Posiblemente hablará Itay Ben Yaacov, o posiblemente hablaré yo (av) ese día. Conseguiremos salón - anunciaré por este medio el salón que logremos reservar.
El seminario se reunirá los martes de 4 a 5:30 este semestre.
av
Posted on Wednesday 14 December 2005
La charla de Michael Benedikt (From Finite Structures to Model Pairs) tendrá lugar en el 405-202 (edificio de Matemáticas, parte “nueva”) mañana miércoles 14 de diciembre, a las 11:30 de la mañana.
Posted on Sunday 11 December 2005
Michael Benedikt, de Lucent (Chicago), dará la semana entrante una charla con título “From finite structures to model pairs”.
Los pares de modelos parecen tener una teoría de modelos bien difícil, por lo menos si se juzga por el trabajo de Shelah en clasificación sobre un predicado. Hay resultados de Benedikt y Baldwin, y de Casanovas y Ziegler, fuera de los (pocos) trabajos de Shelah y Shelah-Hodges.
Dice Michael sobre su charla:
“This would at least give the motivation (from my perspective) from the work on model pairs with Baldwin, give the status of the motivating questions, and mention possible connections with Hrushovski structures.”
Los detalles de sitio y hora serán anunciados más adelante.
Posted on Tuesday 29 November 2005
Hola a todos,
Assaf dará su última charla de su serie en Bogotá mañana a las 4:30 pm, en la Universidad de los Andes, en el salón del consejo del Departamento de Matemáticas.
Será continuación del tema iniciado el viernes pasado.
Posted on Friday 11 November 2005
Quiubo todos.
El seminario de mañana será en el salón AU 102 de la Universidad de Los Andes.
Para los que no sepan, NO HAY QUE ENTRAR A LA UNIVERSIDAD. Llegan a la esquina de la carrera 1 con eje ambiental, al frente de la estación de policía y entran al edificio AU.
Procuraré estar temprano para lidiar con la gente de portería.
Alf
Posted on Thursday 10 November 2005
Este viernes cambiamos el lugar de encuentro a algún salón (aún no anunciado - Alf, por favor anúncielo aquí) de la Universidad de los Andes. Desafortunadamente, la Universidad Nacional sigue medio convulsionada, y sería una lástima volver a tener dificultades a la entrada el viernes a la madrugada.
Posted on Saturday 5 November 2005
Como el cierre de hoy nos cogió tan de sorpresa, y no tuvimos tiempo de convocar a un lugar distinto, decidimos hacer una sesión con los que estábamos, que eramos algo más de la mitad del público. Assaf no dio la charla originalmente planeada, sino habló de varias situaciones concretas en las cuales la construcción de Hrushovski juega un rol central. Habló del teorema de Wilkie y Koiran según el cual los complejos con una función de Liouville son un modelo de la teoría límite en el caso de una relación binaria que además sea función y satisfaga hipótesis estilo Schanuel, y existencia de soluciones.
El viernes entrante dará la charla con el contenido de hoy.
Posted on Tuesday 1 November 2005
Este viernes tendrá lugar la primera charla de Assaf Hasson, actualmente postdoc en Oxford, quien está visitando el seminario este mes. Hablará de colapsos en el caso ab initio.
En la foto, Alf hablando para el seminario de la Universidad Nacional sobre sobres el viernes antepasado:
Posted on Friday 21 October 2005
Haciendo clic en la imagen puede ver las notas de las charlas de Mario Velásquez y Alexander Berenstein.
Posted on Thursday 13 October 2005
Colgué notas de mi charla del lunes pasado en el blog del Seminario de Lógica. Aunque no es directamente relevante a amalgamación, hay conexiones.
av
Posted on Saturday 8 October 2005
Las dos últimas sesiones han sido:
- Mario Velásquez: amalgamas en el caso ab initio. Alexander Berenstein: análisis de los 1-tipos en el caso ab initio (basado en John B. Goode, llenando miles de detalles faltantes). Cálculo del rango de Morley (antes del colapso). Hay muchos detalles interesantes en esta presentación que vale la pena ver… pronto habrá notas aquí mismo.
- Andrés Villaveces: generalidades sobre fusiones y otras construcciones de Hrushovski, puestas en contexto. Pedro Zambrano: fusiones sobre vacío hechas en bastante detalle. El rol crucial del Teorema de Robinson en fusiones. Tipos localmente Schanuel. Lemas para la amalgamación. 3-amalgamación.
Posted on Friday 23 September 2005
Durante el mes de noviembre nos visitará en la Universidad Nacional Assaf Hasson. Actualmente postdoc en Oxford, Assaf terminó su tesis de doctorado con Udi Hrushovski en la Universidad Hebrea de Jerusalén. Será excelente tener la visita de Assaf. Muy posiblemente, tendremos sesiones extras, adicionales a las de las madrugadas de los viernes.
Posted on Friday 23 September 2005
Este viernes 23 de septiembre no hay sesión del seminario (por Semana Universitaria). Reanudamos las sesiones el 30 de septiembre.
Posted on Tuesday 20 September 2005
En el blog del Seminario de Lógica está la charla que dio Baldwin el pasado 15 de agosto en Bogotá. En el último tercio de la charla hay material relevante para las amalgamaciones - en conexión con la amalgamación tridimensional, el teorema de Grossberg y Kolesnikov, y dos trabajos recientes hechos en Bogotá, uno con Pedro Zambrano y otro con Zambrano y Baldwin.
Haga clic en la foto para ver las notas de la charla.
Baldwin en los Andes - Väänänen al fondo
av