Fecha: 3 de Septiembre, 2015. 4pm

Expositor: Parménides García Cornejo (IM-UNAM, Oaxaca)

Actividad: Coloquio Oaxaqueño del Instituto de Matemáticas de la UNAM.

Lugar: Instituto de Matemáticas Unidad Oaxaca.

Url de la actividad: http://paginas.matem.unam.mx/oaxaca/index.php/actividades/coloquio

Resumen:

En esta plática introduciremos varias relacionales binarias <_i sobre la clase de ordinales cuya característica en común es expresar Σ_1-reflexión para algún lenguaje L_i. Dadas estas circunstancias, veremos que estudiar cuándo α<_i β es verdad es equivalente al estudio de ciertos tipos de isomorfismos entre subestructuras finitas de α y de β. Finalmente, veremos cómo es que las soluciones a expresiones de la forma x <_i t(x) consisten de ordinales con cierto ‘‘nivel de confinalidad"