Sciweavers

BIRTHDAY
2006
Springer
14 years 3 months ago
Finitely Presented Abelian Lattice-Ordered Groups
We give necessary and sufficient conditions for the first-order theory of a finitely presented abelian lattice-ordered group to be decidable. We also show that if the number of gen...
Andrew M. W. Glass, Françoise Point