User blog comment:Scorcher007/Large countable ordinal notation up to Z2 and ZFC/@comment-35470197-20181121071653/@comment-35470197-20181127093227

Good. And minour typo: \(S[\sigma](\omega+1)\) is \(\omega_{\omega+1}^{\textrm{CK}}\), but not \(\omega_{\omega}^{\textrm{CK}}\).