Hostname: page-component-8448b6f56d-sxzjt Total loading time: 0 Render date: 2024-04-23T17:32:11.956Z Has data issue: false hasContentIssue false

On topological spaces equivalent to ordinals

Published online by Cambridge University Press:  12 March 2014

Jörg Flum
Affiliation:
Mathematisches Institut, Albert-Ludwigs-Universität, 78 Freiburg, West Germany
Juan Carlos Martinez
Affiliation:
Facultad de Matemáticas, Universidad Complutense, 28040 Madrid, Spain

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.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1988

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Baker, J. W., Compact spaces homeomorphic to a ray of ordinals, Fundamenta Mathematicae, vol. 76 (1972), pp. 1927.CrossRefGoogle Scholar
[2]Barwise, J., Admissible sets and structures, Springer-Verlag, Berlin, 1975.CrossRefGoogle Scholar
[3]Flum, J. and Ziegler, M., Topological model theory, Lecture Notes in Mathematics, vol. 769, Springer-Verlag, Berlin, 1980.CrossRefGoogle Scholar
[4]Gillman, L. and Jerison, M., Rings of continuous functions, Van Nostrand, Princeton, New Jersey, 1980.Google Scholar
[5]Karp, C., Finite-quantifier equivalence, The theory of models (Addison, J. W.et al., editors), North-Holland, Amsterdam, 1965, pp. 407412.Google Scholar
[6]Martinez, J. C., Accessible sets and (Lω1ω)t-equivalence for T3 spaces, this Journal, vol. 49 (1984), pp. 961967.Google Scholar
[7]Martinez, J. C., On a class of topological spaces with a Scott sentence, Fundamenta Mathematicae (to appear).Google Scholar
[8]Mazurkiewicz, S. and Sierpiński, W., Contributions à la topologie des ensembles dénombrables, Fundamenta Mathematicae, vol. 1 (1920), pp. 1727.CrossRefGoogle Scholar
[9]Moran, G., Ordinals and scattered compact ordered spaces, Journal of Geometry, vol. 17 (1981), pp. 83100.CrossRefGoogle Scholar