Sesión Lógica y Computabilidad (II)

Diciembre 15, 11:00 ~ 11:20

Orden regresivo en $omega_1$

Sánchez Terraf, Pedro

En este trabajo en progreso, estamos estudiando la relación de orden parcial entre subconjuntos del primer ordinal no numerable $\omega_1$ dada por: $X<_R Y$ si y sólo si existe una función $f:X\to Y$ inyectiva y regresiva (i.e., $f(\alpha)<\alpha$ para todo $\alpha\in X$). Es bien sabido que ningún conjunto estacionario $E$ cumple con $E<_R\omega_1$. En esta presentación caracterizaremos a los elementos maximales de este orden; en particular, hay conjuntos no estacionarios maximales.

Autores: Peng, Yinhe / Sánchez Terraf, Pedro / Weiss, William.