User blog comment:QuasarBooster/The Wackermann function/@comment-35470197-20200217011154/@comment-35470197-20200217013918

Since my attempt of arithmetisation stops at ψ_0(Ω_ω) with respect to Buchholz's OCF, I am glad if you continue your work beyond it.