User talk:Wythagoras/Ordinals/Extensions of non-recursive ordinals

The limit of extension is \(\omega^{CK}_{1|_{1|_{...}2}2}\) = \(\omega^{CK}_{1,,2}\)

\(\omega^{CK}_{1,,3}\) = \(\omega^{CK}_{1|_{1|_{...}2,,2}2,,2}\)

\(\omega^{CK}_{1,,1,2}\)

\(\omega^{CK}_{1,,1,,2}\) = \(\omega^{CK}_{1,,1|_{1,,1|_{...}2}2}\)

\(\omega^{CK}_{1|,2}\)

\(\omega^{CK}_{1|_{1,,2},2}\)

\(\omega^{CK}_{1,|2}\)

\(\omega^{CK}_{1,|_{1,,2}2}\)

\(\omega^{CK}_{1,,,2}\)

\(\omega^{CK}_{1,...,2}\) AarexTiao 14:40, December 23, 2013 (UTC)