Paul
Posts:
393
Registered:
7/12/10


A canonical form for small ordinals
Posted:
Jan 16, 2014 5:31 PM


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?
Thank You,
Paul Epstein

