Sciweavers

BIRTHDAY
2006
Springer

Finitely Presented Abelian Lattice-Ordered Groups

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 generators is at most 3, then elementary equivalence implies isomorphism. We deduce from our methods that the theory of the free MV -algebra on at least 2 generators is undecidable.
Andrew M. W. Glass, Françoise Point
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where BIRTHDAY
Authors Andrew M. W. Glass, Françoise Point
Comments (0)