Hereditary Undecidability of the Theory of Lattice-ordered Abelian Groups

  • Yuri Gurevich

Algebra and Logic (Russian) | , pp. 45-62

Download BibTex

Delimiting the decidability result of [3] for linearly ordered abelian groups and answering Malcev’s question, we prove the theorem in the title.