User blog comment:Simply Beautiful Art/Intuition behind the Mahlo OCF/@comment-36984051-20190831133412/@comment-35470197-20190903033829

It is good to hear that. In addtion, although you might be already aware of it very well, I should note that the FSes written here are not currently provided algorithms to compute them, and hence might be uncoumputable unlike Rathjen's standard notation. The definitions are written in recursive way in set theory, and hence they do not ensure the computability unless they are endoced into ordinal notations defined in arithmetic. So analyses based on those FSes mainly rely on possibly incorrect "guesses" by careful analysts without mathematical reasonings.