User blog comment:Deedlit11/Ordinal notations II: Up to the Bachmann-Howard ordinal/@comment-5150073-20130619123700

How to solve f_psi(Omega^Omega)(n), under this definition?