Model Theory of Generic Vector Space Endomorphisms V: The o-Minimal Case

RESUMO

This paper further studies the model companion of an endomorphism acting on a vector space, possibly with extra structure. Let $T$ be a model-complete theory that $\varnothing$-defines an infinite $K$-vector space $\mathbb{V}$. In previous work, we introduced a family $\{T^C_\theta : C \in \mathcal{C}\}$ of extensions of the theory $T_\theta := T \cup \{\text{``$\theta$ is an endomorphism of $\mathbb{V}$''}\}$ that parameterizes all consistent extensions of the form $$ T_\theta \cup \left\{\sum\nolimits_{k}\bigcap\nolimits_{l}\operatorname{Ker}(\rho_{j, k, l}[\theta]) = \sum\nolimits_{k}\bigcap\nolimits_{l} \operatorname{Ker}(\eta_{j, k, l}[\theta]) : j \in \mathcal{J}\right\}, $$ where all sums and intersections are finite, all the $\rho[\theta]$'s and $\eta[\theta]$'s are polynomials over $K$ with $\theta$ plugged in, and $\mathcal{J}$ is some possibly infinite index set. We also presented a sufficient condition that implies that every $T^C_\theta$ has a model companion $T\theta^C$. In this paper, we study the case where $T$ is an o-minimal expansion of the theory of ordered groups. Doing so, we obtain a new family of theories that have $\operatorname{TP}_2$ and $\operatorname{SOP}$, and are $\operatorname{NATP}$, as well as distal non-o-minimal theories of various $\operatorname{dp}$-ranks with and without the exchange property.