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

I've never claimed to be a "mathematician".

By "the" Mahlo OCF, I am referring to Rathjen's, or any equivalently strong one.

"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." Just because I haven't created a computable ordinal notation out of it yet does not make it useless. Aside from that, at the end of the post, I describe how one *could* create such an ordinal notation. So no, I do not see the "problem".