Use \varepsilon_0 rather than \epsilon_0.
Start on section about uncountable ordinals.