The theory of ordinals in GST
(for noframe browsers)