On topological spaces equivalent to ordinals

Jörg Flum, Juan Carlos Martínez · Journal of Symbolic Logic · 1988

Abstract Let L be one of the topological languages Lt, (L∞ω)t and (Lκω)t. We characterize the topological spaces which are models of the L-theory of the class of ordinals equipped with the order topology. The results show that the role played in classical model theory by the property of being well-ordered is taken over in the topological context by the property of being locally compact and scattered.

Read the paper · More papers on PaperTik