Interpreting formulas of divisible lattice ordered abelian groups

Abstract

We show that a large class of divisible abelian $\ell$-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 $\ell$-groups, including decidability results.

References in corpus (1)

• On the strength of some topological lattices