User blog comment:Kyodaisuu/English description of Fish numbers/@comment-25418284-20131102173245/@comment-24061664-20131103192507

I am glad you undertand it.

By the way, implementing busy beaver function of Turing machine, or oracle Turing machine, in FOST would be interesting work, because then you can show that Rayo function is much stronger than busy beaver function. Maybe someone has already done it ?