On pp elimination and stability in a continuous setting

Abstract

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.

18 pages A few corrections are made and examples added. And a translation with the usual version of continuous logic is given