The Katowice problem and autohomeomorphisms of $\omega^*$

Abstract

We show that the existence of a homeomorphism between $\omega_0^*$ and $\omega_1^*$ entails the existence of a non-trivial autohomeomorphism of $\omega_0^*$.