Skip to main content
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 1
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Hasson, Assaf and Onshuus, Alf 2010. Unstable structures definable in o-minimal theories. Selecta Mathematica, Vol. 16, Issue. 1, p. 121.


An open mapping theorem for o-minimal structures

  • Joseph Johns (a1)
  • DOI:
  • Published online: 01 March 2014

We fix an arbitrary o-minimal structure (R, ω, …), where (R, <) is a dense linearly ordered set without end points. In this paper “definable” means “definable with parameters from R”, We equip R with the interval topology and Rn with the induced product topology. The main result of this paper is the following.

Theorem. Let VRnbe a definable open set and suppose that f: VRnis a continuous injective definable map. Then f is open, that is, f(U) is open whenever U is an open subset of V.

Woerheide [6] proved the above theorem for o-minimal expansions of a real closed field using ideas of homology. The case of an arbitrary o-minimal structure remained an open problem, see [4] and [1]. In this paper we will give an elementary proof of the general case.

Basic definitions and notation. A box BRn is a Cartesian product of n definable open intervals: B = (a1, b1) × … × (an, bn) for some ai, bi, ∈ R ∪ {−∞, +∞}, with ai < bi, Given ARn, cl(A) denotes the closure of A, int(A) denotes the interior of A, bd(A) ≔ cl(A) − int(A) denotes the boundary of A, and ∂A ≔ cl(A) − A denotes the frontier of A, Finally, we let π: RnRn denote the projection map onto the first n − 1 coordinates.

Background material. Without mention we will use notions and facts discussed in [5] and [3]. We will also make use of the following result, which appears in [2].

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

[1]A. Nesin , A. Pillay , and V. Razenj , Groups of dimension two and three definable over o-minimal structures, Annals of Pure and Applied Logic, vol. 53 (1991), pp. 279296.

[2]Y. Peterzil and C. Steinhorn , Definable compactness and definable subgroups of o-minimal groups, Journal of the London Mathematical Society, vol. 59 (1999), pp. 769786.

[3]A. Pillay and C. Steinhorn , Definable sets in ordered structures. I, Transactions of the American Mathematical Society, vol. 295 (1986), pp. 565592.

[5]L. van den Dries , Tame topology and o-minimal structures, London Mathematical Society Lecture Note Series, no. 248, Cambridge University Press, 1998.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *