User blog comment:Ubersketch/Lexicographic ordinal notation up to the Bachmann-Howard ordinal/@comment-30869823-20190913225449/@comment-35470197-20190917102947

> It's not exactly fair, when the flow of information only goes in only one direction, is it?

I understand your issue, and feel sorry for you to hesitate to share your result due to my Japanese article. Of course, I sincerely would like to read your proof even if it is written in a language other than English. Is it fair then? At least, could I know whether you have written a proof or not?

> BTW I've already posted the OCF itself about a year ago. Or more precisely: A list of instructions that tell you how to construct it.

I remember it. Since I am not familiar with Madore's OCF, I am not certain whther I understand the precise definition from your explanation. Is the following what you intend?（v∈ω+1, α∈On, n∈N）
 * 1) ψ_v(α) := min On＼C_v(α)
 * 2) C_v(α) := ∪_{n∈N} C_v(α)_n
 * 3) C_v(α)_0 := Ω_v ∪ {Ω_u | u∈ω+1}
 * 4) C_v(α)_{n+1} := {β+γ|β,γ∈C_v(α)_n}∪{ψ_u(β)|u∈ω+1,β∈C_v(α)_n∩α}