Prove that the subtraction operation for ordinal numbers coincides with the following operation defined by recursion: α -* α=0 β+ -* α=(β-* α)+ for α ≤ β γ-* α=sup{β-* α:β < γ} when γ is alimit.
Last edited by Fibon; Nov 24th 2009 at 11:38 AM.
Follow Math Help Forum on Facebook and Google+
View Tag Cloud