User blog comment:Nayuta Ito/An attempt to well-define OCF as a number notation/@comment-32697988-20190428074647/@comment-25337554-20190429231703

>Maybe S_0 is a typo of S_k

Yes it is.

>you just allowed [n] for a positive integer n

I will "cast" integers into erdinals.