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

Also, it would be nice if you should explain what means the term "cofinality" of ordinals.