A simple proof of the hereditary undecidability of the theory of lattice-ordered abelian groups
2015 ◽
Vol 36
(7)
◽
pp. 2138-2171
◽
1995 ◽
Vol 44
(2)
◽
pp. 395-402
◽
Keyword(s):