User blog comment:Flitri/A new Ordinal based Function on weakening Large Countable Ordinal analogs of Large Cardinal Axioms/@comment-35470197-20190619222721/@comment-35470197-20190620063839

It is my pleasure. If you want to learn how OCFs work, i.e. the difference of ψ and other basic functions such as the power ω^ξ and Veblen hierarchy, understanding explicit examples will be helpful.

For example, you can read examples of the values of Buchholz's OCF here. In order to avoid common mistakes such as the wrong equality ψ_0(ε_0+1) = ψ_0(ε_0)×ω, it is good to read explanations on the computation.