User blog comment:LittlePeng9/ITTM galore/@comment-10429372-20140319172728/@comment-1605058-20140321140308

I don't know what coding for ordinals you use, but for MY coding, explained in preliminaries, coding does not refer to fundamental sequences in any way. It just uses less-than relation.