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
-categórica T’ con
-categórica T* con
-categórica 
en el lenguaje con
(
) entre
elementos. La teoría 
no es simple y no tiene la
tiene la propiedad del árbol de
) y no tiene la propiedad estricta del orden de
). Como aplicación mostramos la existencia de
-compacta.
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 
.