English

Ordered abelian groups that do not have elimination of imaginaries

Logic 2021-12-13 v2

Abstract

We investigate the property of elimination of imaginaries for some special cases of ordered abelian groups. We show that certain Hahn products of ordered abelian groups do not eliminate imaginaries in the pure language of ordered groups. Moreover, we prove that, adding finitely many constants to the language of ordered abelian groups, the theories of the finite lexicographic products Zn\mathbb{Z}^n and Zn×Q\mathbb{Z}^n \times \mathbb{Q} have definable Skolem functions.

Keywords

Cite

@article{arxiv.2105.14646,
  title  = {Ordered abelian groups that do not have elimination of imaginaries},
  author = {Martina Liccardo},
  journal= {arXiv preprint arXiv:2105.14646},
  year   = {2021}
}

Comments

Section 4 reworked