Interpreting formulas of divisible lattice ordered abelian groups

الأصل · EN

We show that a large class of divisible abelian ℓ-groups (lattice ordered groups) of continuous functions is interpretable (in a certain sense) in the lattice of the zero sets of these functions. This has various applications to the model theory of these ℓ-groups, including decidability results.