User blog comment:Simply Beautiful Art/Intuition behind the Mahlo OCF/@comment-35470197-20190829142904/@comment-35470197-20190830004751

It is a really serious problem, because nobody in this community has succeeded in creating an ordinal notation associated to an actual OCF based on a large cardinal beyond the least weakly Mahlo cardinal.

Therefore you were stating like "It is not so hard to go beyond the limit of this community, but I do not write it down". It is similar to the statement "I created a large number beyond transcendental integer in my mind. Although it is easy to show the definition, I do not do so because I can go far beyond it." Then could you understand why we should be more serious about it?

> for everything less than \(\Omega_{\text{fp}}\) that not only computes fundamental sequences, but it also provides normal forms and has a comparison algorithm.

A recursive system of fundamental sequences below the least omega fixed point is well-known. It is not at all as important as your original statement on the non-difficulty to create a full recursive system of fundamental sequences.

> And if you really wanted it, I could consider extending it to Mahlos in the near future

It is good. Please go ahead. Of course, I appreciate if you write down it in your blog post, instead of keeping it in your mind.