User blog comment:Ubersketch/A proposal for a standard/@comment-35470197-20190811012241/@comment-35470197-20190812073543

Then maybe extended Buchholz's OCF is suitable for us, because it can deal with the least Omega fixed point without complex arguments on cofinality.

Is it defined by Denis Maksudov? One problem is that there seems to be no published article which explains the ordinal notation associated to it, i.e. how to compute the order of two expressions and how to determine standard forms. Although it is easy for googologists who already understand Buchholz's ordinal notation to understand them, other googologists need sources to compute them in recursive ways.