Abstract:We study the properties of topological spaces $(X,\tau)$, where $X$ is a definable set in an o-minimal structure and the topology $\tau$ on $X$ has a basis that is (uniformly) definable. Examples of such spaces include the canonical euclidean topology on definable sets, definable order topologies, definable quotient spaces and definable metric spaces. We use o-minimality to undertake their study in topological terms, focussing here in particular on spaces of dimension one. We present several results, given in terms of piecewise decompositions and existence of definable embeddings and homeomorphisms, for various classes of spaces that are described in terms of classical separation axioms and definable analogues of properties such as separability, compactness and metrizability. For example, we prove that all Hausdorff one-dimensional definable topologies are piecewise the euclidean, discrete, or upper or lower limit topology; we give a characterization of all one-dimensional, regular, Hausdorff definable topologies in terms of spaces that have a lexicographic ordering or a topology generalizing the Alexandrov double of the euclidean topology; and we show that, if the underlying structure expands an ordered field, then any one-dimensional Hausdorff definable topology that is piecewise euclidean is definably homeomorphic to a euclidean space. As applications of these results, we prove definable versions of several open conjectures from set-theoretic topology, due to Gruenhage and Fremlin, on the existence of a 3-element basis for regular, Hausdorff topologies and on the nature of perfectly normal, compact, Hausdorff spaces; we obtain universality results for some classes of Hausdorff and regular topologies; and we characterize when certain metrizable definable topologies admit a definable metric.

Lower separation axioms in bitopogenous spaces

A Boolean-valued space approach to separation axioms and sobriety of bitopological spaces

T 0 -spaces and the lower topology

On separation axioms of topological rough groups

Topologically indistinguishable relations and separation axioms

Three new soft separation axioms in soft topological spaces

Lower spaces of multiplicative lattices

Separation axioms as lifting properties

Comparison of Two Types of Separation Axioms in Soft Topological Spaces

Separation Axioms in Bi-soft Topological Spaces

Separation axioms via novel operators in the frame of topological spaces and applications

A survey and exposition of sub-Hausdorff separation axioms

Fuzzy soft seperation axioms with sense of Ganguly and Saha

An alternative axiomization of $N$-pseudospaces

On Isbell's Density Theorem for bitopological pointfree spaces II

Partially ordered set of zero-dimensional one-point extensions of a topological space

Regular and Complete Spaces over Topological Quasigroups

One-dimensional definable topological spaces in o-minimal structures

Elementary axioms for parts in toposes

Quasiorders for a characterization of iso-dense spaces

An Introduction to Relative Connectedness of Topological Spaces