We prove that any field definable in (Q p, +, ·) is definably isomorphic to a finite extension ofQ p.

We interpret the basic notions of topological dynamics in the model-theoretic setting, relating them to generic types of definable group actions and their generalizations.

We investigate definable topological dynamics of groups definable in an o‐minimal expansion of the field of reals. Assuming that a definable group G admits a model‐theoretic analogue of Iwasawa decomposition, namely the compact‐torsion‐free decomposition, we give a description of minimal subflows and the Ellis group of its universal definable flow in terms of this decomposition. In particular, the Ellis group of this flow is isomorphic to. This provides a range of counterexamples to a question by Newelski whether the Ellis group (...) is isomorphic to. We further extend the results to universal topological covers of definable groups, interpreted in a two‐sorted structure containing the o‐minimal sort and a sort for an abelian group. (shrink)