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

For a countable ordinal \(\alpha\), what is the definition of \(S[\sigma](\alpha)\)? Is it the \(\alpha\)-th ordinal in the closure of the set of admissible countable ordinals?