Submission date: 23 September 2016

Abstract:

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

Mathematics Subject Classification: 03C64

Keywords and phrases:

Full text arXiv 1609.07522: pdf, ps.