Bachmann-Howard ordinal