User blog comment:Kyodaisuu/Pseudo Rayo's number/@comment-119611-20140623130319

On naming: the construction described here is very similar to that occurring in the Berry paradox, so we could call it the Rayo-Berry number. I like the name "pseudo Rayo's number", however.

(Alas, I don't know enough about FOST to comment further.)