Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1099

Preprint Number 1099

Previous Next Preprint server

1099. Marcus Tressl
Interpreting formulas of divisible lattice ordered abelian groups

Submission date: 23 September 2016


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.

Last updated: October 7 2016 19:22 Please send your corrections to: