User blog comment:Alejandro Magno/Weak BEAF/@comment-24509095-20141016111551/@comment-5150073-20141020025403

FB100Z,

"In this blog post I'll try to define in precise way my extension of language of set theory to transfinite orders." - Peng wanted to define it namely formally there.

Magno, I can't beat that. You definitely win.