Determinacy from strong compactness of ${\omega }_1$

Nam Trang, Trevor Wilson

In the absence of the Axiom of Choice, the "small" cardinal ${\omega }_1$ can exhibit properties more usually associated with large cardinals, such as strong compactness and supercompactne…