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

I wish I knew enough about ordinals to make heads or tails of this, it seems very interesting!