Resumen charla Rodrigo Peláez

By Pedro Z.

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.

Escribe un comentario