ﻻ يوجد ملخص باللغة العربية
For a group $G$ definable in a first order structure $M$ we develop basic topological dynamics in the category of definable $G$-flows. In particular, we give a description of the universal definable $G$-ambit and of the semigroup operation on it. We find a natural epimorphism from the Ellis group of this flow to the definable Bohr compactification of $G$, that is to the quotient $G^*/{G^*}^{00}_M$ (where $G^*$ is the interpretation of $G$ in a monster model). More generally, we obtain these results locally, i.e. in the category of $Delta$-definable $G$-flows for any fixed set $Delta$ of formulas of an appropriate form. In particular, we define local connected components ${G^*}^{00}_{Delta,M}$ and ${G^*}^{000}_{Delta,M}$, and show that $G^*/{G^*}^{00}_{Delta,M}$ is the $Delta$-definable Bohr compactification of $G$. We also note that some deeper arguments from the topological dynamics in the category of externally definable $G$-flows can be adapted to the definable context, showing for example that our epimorphism from the Ellis group to the $Delta$-definable Bohr compactification factors naturally yielding a continuous epimorphism from the $Delta$-definable generalized Bohr compactification to the $Delta$-definable Bohr compactification of $G$. Finally, we propose to view certain topological-dynamic and model-theoretic invariants as Polish structures which leads to some observations and questions.
We study amenability of definable groups and topological groups, and prove various results, briefly described below. Among our main technical tools, of interest in its own right, is an elaboration on and strengthening of the Massicot-Wagner version
We prove several theorems relating amenability of groups in various categories (discrete, definable, topological, automorphism group) to model-theoretic invariants (quotients by connected components, Lascar Galois group, G-compactness, ...). For exam
For certain theories of existentially closed topological differential fields, we show that there is a strong relationship between $mathcal Lcup{D}$-definable sets and their $mathcal L$-reducts, where $mathcal L$ is a relational expansion of the field
We continue the study of a class of topological $mathcal{L}$-fields endowed with a generic derivation $delta$, focussing on describing definable groups. We show that one can associate to an $mathcal{L}_{delta}$ definable group a type $mathcal{L}$-def
We initiate the study of p-adic algebraic groups G from the stability-theoretic and definable topological-dynamical points of view, that is, we consider invariants of the action of G on its space of types over Q_p in the language of fields. We consid