Interpreting formulas of divisible lattice ordered abelian groups
Tressl, Marcus
Original · 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.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.