Talk:Ordinal Multiplication via Cantor Normal Form/Infinite Exponent

From ProofWiki
Jump to navigation Jump to search

I have no idea what to call this page. Technically, this theorem and especially the one with limit ordinals provide a way of calculating the product of any two ordinals given their Cantor normal form. But the theorem itself is a generalization of this idea. --Andrew Salmon 06:26, 18 August 2012 (UTC)

It could all be thrown together and put on Ordinal Multiplication via Cantor Normal Form with subpages to cover for the (already quite elaborate) special cases (e.g. as lemmata). --Lord_Farin 06:39, 18 August 2012 (UTC)
It also might be worth adding a link to Definition:Cantor Normal Form on this page, as this is effectively what this is. As it stands one would have to read this talk page to learn this information. --prime mover 06:47, 18 August 2012 (UTC)