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

No, only thing restricting us is knowledge of fundamental sequences. In mathematical universe we can "know" sequence for w_1^CK, and even for undefinable ordinals, so only limit is Omega.