pith. sign in

arxiv: 1609.07522 · v1 · pith:5OFZEBZOnew · submitted 2016-09-23 · 🧮 math.LO

Interpreting formulas of divisible lattice ordered abelian groups

Marcus Tressl This is my paper
classification 🧮 math.LO
keywords groupslatticeabeliandivisiblefunctionsorderedapplicationscertain
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A Model Companion for Abelian Lattice-Ordered Groups with a Valuation

    math.LO 2026-03 unverdicted novelty 7.0

    An expansion of abelian ℓ-groups with a spectral subspace map admits a model companion that is complete and has quantifier elimination.