ビジービーバーに関しては最近読んだこんなページが
http://recursion-theory.blogspot.com/2018/11/q.html
ω1^CKってクソでかいから、基本列の取り方次第ではFGHにぶちこんでビジービーバー関数程度の増加率にできなくもないけど、もっと大きくなる基本列がある
って事らしい