User blog comment:Wythagoras/Bounds for Rayo (not my work)/@comment-5150073-20141017075325/@comment-11227630-20141017112736

Isn't equivalence already defined in FOST?

And, how can we define ω in FOST?