Archivos de la categoría ‘Resumenes’

Resumen charla Rodrigo Peláez

Septiembre 10, 2007

Título: Una buena suerte es suficiente.

ABSTRACT: Dada una teoría multivariada \omega-categórica T’ con
numerables suertes, construimos una teoría \omega-categórica T* con
una sóla suerte en la cual T’ está stably embedded. Para esto
utilizamos una teoría \omega-categórica T_E en el lenguaje con
numerables relaciones de equivalencia E_n (n < \omega) entre
conjuntos de n elementos. La teoría T_E 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, T_E tiene la propiedad del árbol de
segunda clase (TP_2) y no tiene la propiedad estricta del orden de
la primera clase (SOP_1). Como aplicación mostramos la existencia de
una teoría \omega-categórica que no es G-compacta.

Escrito en Resumenes | Deja un Comentario »

Charla Walter Muete

Abril 18, 2007

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 (\mathbb{R},+,\cdot,0,1,\lneq,2^{\mathbb{Z}}) y (\mathbb{R},+,\cdot,0,1,\lneq,S) (donde S:=\{(e^t\cos t,e^t\sin t)\mid t\in \mathbb{R}\} ) 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 \Delta y un tipo parcial \pi(x) tal que cierto rango definido para relaciones de equivalencia definibles en este contexto (Eq-rk_{\Delta}(\pi(x))) es \infty.

Escrito en Resumenes | 1 comentario