User blog comment:Hyp cos/Attempt of OCF up to Stability/@comment-35470197-20181026043805/@comment-11227630-20181027102501


 * There is no canonical way to obtain an ordinal notation system from an OCF.

Does this method work? No matter how large ordinals the OCF outputs, this method always results a fundamental sequences system, then an ordinal notation is constructed using FS, and the comparison are done via Theorem 7 and 8.