2 problems

Let $M$ be a highly saturated $P$-minimal structure over a $p$-adic field $K$, let $G$ be a definable group, and set $n=\dim(G)$. Let $M_0\prec M$ be a small model defining $G$. Re…

Let $M$ be a highly saturated $P$-minimal structure over a $p$-adic field $K$, and let $G$ be an $n$-dimensional definable group. Recall that $G^{00}$ is the smallest type-definabl…