We define a discrete closure operator for definably complete locally o‐minimal structures. The pair of the underlying set of and the discrete closure operator forms a pregeometry. We define the rank of a definable set over a set of parameters using this fact and call it ‐dimension. A definable set X is of dimension equal to the ‐dimension of X. The structure is simultaneously a first‐order topological structure. The dimension rank of a set definable in the first‐order topological structure also (...) coincides with its dimension. (shrink)

We investigate topological properties of subsets S of the real plane, expressed by first-order logic sentences in the language of the reals augmented with a binary relation symbol for S. Two sets are called topologically elementary equivalent if they have the same such first-order topological properties. The contribution of this paper is a natural and effective characterization of topological elementary equivalence of closed semi-algebraic sets.

We consider first-order theories of topological fields admitting a model-completion and their expansion to differential fields . We give a criterion under which the expansion still admits a model-completion which we axiomatize. It generalizes previous results due to M. Singer for ordered differential fields and of C. Michaux for valued differential fields. As a corollary, we show a transfer result for the NIP property. We also give a geometrical axiomatization of that model-completion. Then, for certain differential valued fields, we extend (...) the positive answer of Hilbert’s seventeenth problem and we prove an Ax–Kochen–Ershov theorem. Similarly, we consider first-order theories of topological fields admitting a model-companion and their expansion to differential fields, and under a similar criterion as before, we show that the expansion still admits a model-companion. This last result can be compared with those of M. Tressl: on one hand we are only dealing with a single derivation whereas he is dealing with several, on the other hand we are not restricting ourselves to definable expansions of the ring language, taking advantage of our topological context. We apply our results to fields endowed with several valuations. (shrink)

We construct a fibered dimension function in some topological differential fields.

In this paper we prove the following theorem: Any one-dimensional definably connected group G over an o-minimal structure is, as an abstract group, isomorphic to either pPp∞δ or δ.

We revisit Kolchin's results on definability of differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. In certain classes of differential topological fields, which encompasses ordered or p‐valued differential fields, we find a partial Galois correspondence and we show one cannot expect more in general. In the class of ordered differential fields, using elimination of imaginaries in, we establish a relative Galois correspondence for relatively definable subgroups of the group (...) of differential order automorphisms. (shrink)

Given a group , G⊆Mm, definable in a first-order structure equation image equipped with a dimension function and a topology satisfying certain natural conditions, we find a large open definable subset V⊆G and define a new topology τ on G with which becomes a topological group. Moreover, τ restricted to V coincides with the topology of V inherited from Mm. Likewise we topologize transitive group actions and fields definable in equation image. These results require a series of preparatory facts concerning (...) dimension functions, some of which might be of independent interest. (shrink)

In this paper we give a differential lifting principle which provides a general method to geometrically axiomatize the model companion (if it exists) of some theories of differential topological fields. The topological fields we consider here are in fact topological systems in the sense of van den Dries, and the lifting principle we develop is a generalization of the geometric axiomatization of the theory DCF₀ given by Pierce and Pillay. Moreover, it provides a geometric alternative to the axiomatizations obtained by (...) Tressl and Guzy/Point in separate papers where the authors also build general schemes of axioms for some model complete theories of differential fields. We first characterize the existentially closed models of a given theory of differential topological fields and then, under an additional hypothesis of largeness, we show how to modify this characterization to get a general scheme of first-order axioms for the model companion of any large theory of differential topological fields. We conclude with an application of this lifting principle proving that, in existentially closed models of a large theory of differential topological fields, the jet-spaces are dense in their ambient topological space. (shrink)

Let G be a group definable in an o-minimal structure M. In this paper we show: Theorem. If G is a two-dimensional definably connected nonabelian group, then G is centerless and G is isomorphic to R+R*>0, for some real closed field R. Theorem. If G is a three-dimensional nonsolvable, centerless, definably connected group, then either G SO3 or G PSL2, for some real closed field R.

The goal of this paper is to generalise Alex Rennet's proof of the non‐axiomatizability of the class of pseudo‐o‐minimal structures. Rennet showed that if is an expansion of the language of ordered fields and is the class of pseudo‐o‐minimal ‐structures (‐structures elementarily equivalent to an ultraproduct of o‐minimal structures) then is not computably axiomatizable. We give a general version of this theorem, and apply it to several classes of structures.

We consider the question of when an expansion of a first-order topological structure has the property that every open set definable in the expansion is definable in the original structure. This question has been investigated by Dolich, Miller and Steinhorn in the setting of ordered structures as part of their work on the property of having o-minimal open core. We answer the question in a fairly general setting and provide conditions which in practice are often easy to check. We give (...) a further characterisation in the special case of an expansion by a generic predicate. (shrink)

We consider definable topological spaces of dimension one in o-minimal structures, and state several equivalent conditions for when such a topological space \ \) is definably homeomorphic to an affine definable space 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.

We consider semi‐algebraic sets and properties of these sets that are expressible by sentences in first‐order logic over the reals. We are interested in first‐order properties that are invariant under topological transformations of the ambient space. Two semi‐algebraic sets are called topologically elementarily equivalent if they cannot be distinguished by such topological first‐order sentences. So far, only semi‐algebraic sets in one and two‐dimensional space have been considered in this context. Our contribution is a natural characterisation of topological elementary equivalence of (...) regular closed semi‐algebraic sets in three‐dimensional space, extending a known characterisation for the two‐dimensional case. Our characterisation is based on the local topological behaviour of semi‐algebraic sets and the key observation that topologically elementarily equivalent sets can be transformed into each other by means of geometric transformations, each of them mapping a set to a first‐order indistinguishable one. (shrink)