Basic Ordinal and Cardinal Arithmetic II
We prove more results for Ordinal and Cardinal arithmetic. Including showing that we can apply division with remainders to ordinals. We use that to prove Cantor’s Normal Form Theorem. Finally, we give a proof of Konig’s Theorem for Cardinals.