Positive primitive elimination in a continuous context

Nicolas Chavarria Gomez, Department of Pure Mathematics, University of Waterloo

We explore some extensions of the classical result, in the model theory of modules, of positive primitive elimination. We first consider the case of length functions. Then we move to the case of adding homomorphisms to abelian structures. The latter requires us to consider a different formalism of continuous logic which is appropriate for the correct formulation of the result. This is joint work with Anand Pillay.

MC 5479