User blog comment:SuperSpruce/Can someone teach me how Rathjen’s OCF works?/@comment-35470197-20190723090522/@comment-35470197-20190726130220

What do "fundamental sequence" and its "length" precisely mean in your context? Since you assumed the recursiveness of a countable non-zero limit ordinal α, you might misunderstand the notions.