User blog comment:Hyp cos/A strong array notation (at my personal website)/@comment-5029411-20170228114806/@comment-35470197-20190822011613

> the comparisons with "normal" ordinal collapsing functions up to a weakly compact cardinal

Could you tell me how you could analyse your notation using an OCF based on weakly compact cardinal although you do not have an explicit algorithm to compute FSes? I know that you wrote a definition of a system of fundamental sequences, but there is not justification of the computability of it, because you do not have an ordinal notation, which allows you to determine \(\in\)-relation in a recursive way in arithmetic.