Este es el problema 15.3 en la lista de problemas de Arnie Miller:
(Juhasz) Suponga que existe$\langle A_{\alpha} : \alpha \in L \rangle$, donde$L$ es el conjunto de ordinales de límite por debajo de$\omega_1$ y para cada$\alpha \in L$,$A_{\alpha}$ es un subconjunto ilimitado de$\alpha$, satisfactorio: para cada$A \subseteq \omega_1$ ilimitado, existe$\alpha \in L$,$A_{\alpha} \subseteq A$. ¿Debe existir un árbol Suslin?
¿Cuál es el estado actual de este problema? ¡Gracias!
