Arithmetics on Ordinals

[ZFC Set Theory] IX. 서수의 산술연산 Arithmetics of OrdinalsBy 초코맛 도비

[lang-en]To see the previous post[/lang-en][lang-ko]이전 글 보러가기[/lang-ko] $\def\Ord{\operatorname{Ord}}$ [lang-en]As commented in the last post, we will talk about the arithmetics of ordinals. Arithmetics of ordinals are defined by the transfinite recursion, which is introduced in the last post. Before explaining about arithmetics of ordinals, for the convenience of description, we shall introduce..