きちんと検証せずに類推で書いたので正しいか保証はできませんが、
A Stronger Ordinal Notationの収束列を定義しました。
http://www1.axfc.net/uploader/Sc/so/184484.txt