User blog comment:Vel!/Ordinal BEAF 2.0/@comment-1605058-20130409185548/@comment-5150073-20140118055714

That works only for countable ordinals, for ordinals with cofinality $$w_n$$ we take $$sup\{n<w_n : a[n]\} = a$$.