Transferring structures from $\omega$ to $\omega_1$.
b'Jorge Antonio Cruz Chapital speaking at the BIRS workshop 23w5025: Set-Theoretic Topology (Jul 30 - Aug 04). Recorded by the Banff International Research Station for Mathematical Innovation and Discovery.'