On pp elimination and stability in a continuous setting
We generalize pp elimination for modules, or more generally abelian structures, to a continuous logic environment where the abelian structure is equipped with a homomorphism to a compact (Hausdorff) group. We conclude that the continuous logic theory of such a structure is stable.
math.LO↗