User blog comment:SuperSpruce/Can someone teach me how Rathjen’s OCF works?/@comment-35470197-20190723090522/@comment-35470197-20190723132443

Well, I could not understand "work" precisely means. Is the following list sufficient?
 * 1) Veblen φ generates from M large cardinals such as ε_{M+1}.
 * 2) χ collapses big large cardinals such as M into smaller higher weakly inaccessible cardinals.
 * 3) χ with smaller inputs enumerates higher weakly inaccessible cardinals and their limits.
 * 4) ψ collapses higher weakly inaccessible cardinals into smaller fixed points of Φ.
 * 5) Φ iteratedly enumerates uncountable cardinals. For example, Φ_0(β) = ℵ_{1+β}, Φ_1(β) = (1+β)-th omega fixed point, and Φ_2(β) = (1+β)-th fixed point of Φ_1.
 * 6) ψ collapses accessible cardinals into smaller Γ-numbers.