Transcribo un mensaje que me llegó sobre un evento que va haber a manera de homenaje a Paul Cohen.

—————————————-
de Ruy de Queiroz
para logica-l@dimap.ufrn.br
fecha 27-sep-2007 7:46
asunto [Logica-l] Paul Cohen Memorial this Saturday (fwd)
enviado por dimap.ufrn.br

———- Forwarded message ———-
Date: Wed, 26 Sep 2007 13:21:31 -0700 (PDT)
From: Grigori Mints
To: logical-methods@mailman.stanford.edu
Subject: Paul Cohen Memorial this Saturday (fwd)

———- Forwarded message ———-
Date: Wed, 26 Sep 2007 09:52:57 -0700
From: Rafe Mazzeo
To: colloq@math.stanford.edu
Subject: Paul Cohen Memorial this Saturday

Dear Colleagues,

I am writing to remind all of you that there will be a memorial
service for
Paul Cohen this Saturday, September 29. Here is the schedule of events:

2 – 3:45: Three short talks, by Angus MacIntyre, Hugh Woodin and
Peter Sarnak,
about Paul’s mathematical work and legacy, and a short video of
Paul’s speech
at his 72nd Birthday Conference last year.

4 – 6: Music by the Harbour String Quartet and reminiscences by
Paul’s family, friends
and colleagues

6:00 reception/refreshments

7:00 screening of 45 minute video of Paul’s lecture at the Goedel
Conference
in Vienna last year.

All events will be in 370-370. More details on the department web
page.

I very much hope that you can join us in paying tribute to Paul Cohen.

with best wishes,

Rafe Mazzeo

+——————————————————-+

Professor Rafe Mazzeo Office phone: 650-723-1894
Chair or:
650-723-2604
Department of Mathematics Fax: 650-725-4066
Stanford University
Stanford, CA 94305 http://math.stanford.edu/~mazzeo

–++**==–++**==–++**==–++**==–++**==–++**==–++**==
logical-methods mailing list
logical-methods@lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/logical-methods

_______________________________________________
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Título: Una buena suerte es suficiente.

ABSTRACT: Dada una teoría multivariada -categórica T’ con
numerables suertes, construimos una teoría -categórica T* con
una sóla suerte en la cual T’ está stably embedded. Para esto
utilizamos una teoría -categórica en el lenguaje con
numerables relaciones de equivalencia () entre
conjuntos de elementos. La teoría no es simple y no tiene la
propiedad estricta del orden. Más aún, dentro de la clasificación de
Shelah para teorías inestables, tiene la propiedad del árbol de
segunda clase () y no tiene la propiedad estricta del orden de
la primera clase (). Como aplicación mostramos la existencia de
una teoría -categórica que no es -compacta.

Hola a todos. Disculpen la demora en colocar esta información en el blog.

Este semestre ya hablaron Andrés Villaveces (U. Nacional) el 13 de agosto, aprovechando su corta estadía en Bogotá, y Alexander Berenstein (U. de los Andes) el septiembre 3, quien habló sobre pares “adorables”.

A continuación va la lista del cronograma de las charlas de este semestre:

Septiembre 10: Rodrigo Peláez (U. de Barcelona). Título por confirmar.

Septiembre 17: Maricarmen Martínez (U. de los Andes). Título por confirmar.

Septiembre 24: Xavier Caicedo (U. de los Andes – U. Nacional). Título por confirmar.

Octubre 8: Alejandro García (U. Nacional). Título por confirmar.

Octubre 22: Jorge Cely (U. de los Andes). Título por confirmar.

Octubre 29: Sergio Tello (U. de los Andes). Título por confirmar.

Noviembre 19: Ramiro de la Vega (U. de los Andes). Título por confirmar.

En los proximos dos meses habrán dos actividades importantes de teoria de modelos. Por un lado estara el encuentro en teoria de modelos del 2007 que se llevara a cabo del 30 de Julio al 3 de Agosto en Villa de Leyva. Quienes quieran participar o presentar ponencias por favor ponganse en contacto con Alf Onshuus (onshuus at gmail dot com) antes del 30 de Junio.

Adicionalmente, la 2da Escuela de Verano que se realizará en la Universidad Sergio Arboleda (Bogotá) entre el 25 de junio y el 14 de Julio, y en la cual se confirmó la presencia de Pedro Poitevin entre el 4 y el 14 de Julio con un cursillo sobre lógica continua para estructuras métricas y aplicaciones. Haga click aquí para descargar el resumen del cursillo.

El pasado lunes 16 de abril, Walter Muete (estudiante de Maestría de la Nacional) habló sobre las ideas generales de la prueba de que las estructuras y (donde ) no son rosy (pruebas debidas a Alf Onshuus y Clifton Ealy). Dicha prueba se hace utilizando el criterio que dice que una teoría no es rosy si existe un conjunto finito de fórmulas y un tipo parcial tal que cierto rango definido para relaciones de equivalencia definibles en este contexto () es .

Habla Luis Jaime Corredor (UniAndes), título por confirmar.

Febrero 12: Alf Onshuus (Uniandes)

Febrero 19: Franqui Cárdenas (UN): Combinatoria en L.

Febrero 26: Alexander Berenstein (UN): Subgrupos definibles de espacios de probabilidad.

Resumen: La diferencia simétrica es una operación de grupo en espacios de probabilidad. En esta charla vamos a dar una descripción de los subgrupos definibles de espacios de probabilidad y caracterizar los genéricos de estos subgrupos en términos de entropía.

El seminario comienza este lunes 5 de febrero a las 2:15 p.m. en el salón G-101 (queda por la entrada del edificio G a mano izquierda). Este lunes habla Xavier Caicedo (título por confirmar).

¡Hola a todos! Bienvenidos a esta nueva versión del blog del Seminario de Lógica que se está realizando entre la Universidad Nacional y la Universidad de los Andes. Necesito por favor me envíen sus nombres de usuario en wordpress, para así poderlos añadir como administradores de este blog.