User talk:Cloudy176/Taranovsky's notation

If this notation indeed can code all ordinals below \(\omega^\text{CK}_1\) and far above it, then maybe we can find here a way to define \(\omega^\text{CK}_1[n]\)? Also, how Loader's ordinal can be expressed with in terms of Taranovsky's notation? Ikosarakt1 (talk ^ contribs) 20:37, August 11, 2013 (UTC)