Seminarios / Coloquios

  • 4a Escuela de Teoría Geométrica de Grupos

    El r egistro para la 4a Escuela de Teoría Geométrica de Grupos está abierto hasta el 6 de junio . El evento tendrá lugar en el Centro de Ciencias Matemáticas de la UNAM en Morelia, Michoacán del 4...

Calendario de eventos

Mes anteior Día anterior Día siguiente Mes siguiente
Anual Mensual Semanal Hoy Buscar Ir al mes específico
Ordinales y Σ_1-elementariedad
Jueves 03 Septiembre 2015, 04:00pm
Accesos : 322

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"