The Grothendieck ring of a non-divisible ordered abelian group is trivial

Blaise Boissonneau, Mathias Stout, Floris Vermeulen

We consider the model-theoretic Grothendieck ring of definable sets in ordered abelian groups. It is well-known that $\mathrm{K}\mathbb{Q}\cong \mathbb{Z}[T]/(T^2+T)$ and $\mat…