Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Definable one-dimensional topologies in O-minimal structures


We consider definable topological spaces of dimension one in o-minimal structures, and state several equivalent conditions for when such a topological space \(\left( X,\tau \right) \) is definably homeomorphic to an affine definable space (namely, a definable subset of \(M^{n}\) with the induced subspace topology). One of the main results says that it is sufficient for X to be regular and decompose into finitely many definably connected components.

This is a preview of subscription content, log in to check access.


  1. 1.

    Johnson, W.: Topologizing Interpretable Sets in O-Minimal Structures. Unpublished note (2014)

  2. 2.

    Marker, D.: Model theory: An introduction, Graduate Texts in Mathematics, vol. 217. Springer, New York (2002)

  3. 3.

    Onshuus, A., Steinhorn, C.: On linearly ordered structures of finite rank. J. Math. Log. 9(2), 201–239 (2009)

  4. 4.

    Peterzil, Y., Steinhorn, C.: Definable compactness and definable subgroups of o-minimal groups. J. Lond. Math. Soc. (2) 59(3), 769–786 (1999)

  5. 5.

    Pillay, A.: First order topological structures and theories. J. Symb. Log. 52(3), 763–778 (1987)

  6. 6.

    van den Dries, L.: Tame Topology and o-Minimal Structures. London Mathematical Society Lecture Note Series, vol. 248. Cambridge University Press, Cambridge (1998)

  7. 7.

    Walsberg, E.: On the Topology of Metric Spaces Definable in o-Minimal Expansions of Fields (2015). Preprint. arXiv:1510.07291

Download references

Author information

Correspondence to Ya’acov Peterzil.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Peterzil, Y., Rosel, A. Definable one-dimensional topologies in O-minimal structures. Arch. Math. Logic 59, 103–125 (2020).

Download citation


  • o-minimality
  • Definable topology
  • One-dimensional topology

Mathematics Subject Classification

  • 03C64