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

Well, are you actually a mathematician? That wrong use of \(\mapsto\) often appears in manuscripts of amateur mathematician, but I have never seen it in a manuscript of a professional mathematician. In order to set terminology in my comment to be an appropriate one, could you tell me whether you are a mathematician or not.

> The Mahlo OCF, as it would turn out, is not too bad to try and understand.

What is "the" Mahlo OCF?

I could not understand why you continue to investigating OCFs even though you have never tried to create an associated ordinal notation. If you do not have one, then it is not so useful in computable googology. Do you understand the problem?