Back to Search
Start Over
Finitely Presented Abelian Lattice-Ordered Groups.
- Source :
- Algebraic & Proof-theoretic Aspects of Non-classical Logics; 2007, p160-193, 34p
- Publication Year :
- 2007
-
Abstract
- 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. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISBNs :
- 9783540759386
- Database :
- Complementary Index
- Journal :
- Algebraic & Proof-theoretic Aspects of Non-classical Logics
- Publication Type :
- Book
- Accession number :
- 33111436
- Full Text :
- https://doi.org/10.1007/978-3-540-75939-3_11