On supercompactness of ${\omega }_1$

Daisuke Ikegami, Nam Trang

This paper studies structural consequences of supercompactness of ${\omega }_1$ under $\mathsf{ZF}$. We show that the Axiom of Dependent Choice $(\mathsf{DC})$ follows from "${\omega }_1$ is supercompact"…