User blog comment:Wythagoras/Extension of the busy beaver function/@comment-1605058-20131023174307

I'm sorry, but this concept is nothing new. It isn't hard to describe a way to define OTM with ordinal w_a^CK for any countable ordinal, provided we know all required fundamental sequences.