Comment by AllTalk

I think it is just the usual order on the rational numbers, but since he uses only some of the rationals, it does amount to using ordinals.

But, I think your solution is off by at least a factor of omega.