Anual Mensual Semanal Hoy Buscar Ir al mes específico
Ordinales y Σ_1-elementariedad
Jueves 03 Septiembre 2015, 04:00pm
Accesos : 122

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"

 

Twitter

Go to top