User talk:Googleaarex/Beyond Church-Kleene ordinal

What's the definition for \(\omega_1^{\text{CK}2}\)? FB100Z &bull; talk &bull; contribs 02:08, July 8, 2013 (UTC)