
Re: A canonical form for small ordinals
Posted:
Jan 17, 2014 3:02 AM


On Thu, 16 Jan 2014, Paul wrote:
> I saw it asserted without proof that all ordinals, alpha, less than > epsilon_0, can be uniquely expressed as omega ^ beta * (gamma + 1), for some > gamma and some beta such that omega ^ beta < alpha, where omega is the > smallest infinite ordinal. This isn't clear to me. Could anyone help or > give a reference?
Cnator's normal form.

