Interpreting formulas of divisible lattice ordered abelian groups
Logic
2016-09-27 v1
Abstract
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.
Keywords
Cite
@article{arxiv.1609.07522,
title = {Interpreting formulas of divisible lattice ordered abelian groups},
author = {Marcus Tressl},
journal= {arXiv preprint arXiv:1609.07522},
year = {2016}
}