Groups,group actions and fields definable in first‐order topological structures

Given a group (G, ·), G?M^m, definable in a first‐order structure $\mathcal {M}=(M,\ldots )Given a group (G, ·), G?M^m, definable in a first‐order structure $\mathcal {M}=(M,\ldots )$ 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 (G, ·) becomes a topological group. Moreover, τ restricted to V coincides with the topology of V inherited from M^m. Likewise we topologize transitive group actions and fields definable in $\mathcal {M}$. These results require a series of preparatory facts concerning dimension functions, some of which might be of independent interest.     

On the number of solutions of an algebraic equation on the curve , and a consequence for o-minimal structures

We prove that every polynomial of degree has at most zeros on the curve . As a consequence we deduce that the existence of a uniform bound for the number of zeros of polynomials of a fixed degree on an analytic curve does not imply that this curve belongs to an o-minimal structure.

     

Cell decomposition and definable functions for weak p‐adic structures

We develop a notion of cell decomposition suitable for studying weak p‐adic structures (reducts of p‐adic fields where addition and multiplication are not (everywhere) definable). As an example, we consider a structure with restricted addition.     

On the strong cell decomposition property for weakly o‐minimal structures

We consider a class of weakly o‐minimal structures admitting an o‐minimal style cell decomposition, for which one can construct certain canonical o‐minimal extension. The paper contains several fundamental facts concerning the structures in question. Among other things, it is proved that the strong cell decomposition property is preserved under elementary equivalences. We also investigate fiberwise properties (of definable sets and definable functions), definable equivalence relations, and conditions implying elimination of imaginaries.     

Analytic -adic cell decomposition and integrals

We prove a conjecture of Denef on parameterized -adic analytic integrals using an analytic cell decomposition theorem, which we also prove in this paper. This cell decomposition theorem describes piecewise the valuation of analytic functions (and more generally of subanalytic functions), the pieces being geometrically simple sets, called cells. We also classify subanalytic sets up to subanalytic bijection.