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

There is a minor pedantic mistake from his article:

"I like that! Okay, let's keep driving:

ω^ω^ω + 1, ω^ω^ω + 2, ...

and then

ω^ω^ω + ω, ..., ω^ω^ω + ω 2, ..., ω^ω^ω + 3, ..."

In the last expression, it must be ω^ω^ω + ω 3.