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. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/978-3-540-75939-3_11 | Algebraic and proof-theoretic aspects of non-classical logics |
Keywords | Field | DocType |
sufficient condition,elementary equivalence,first-order theory,free mv-algebra,abelian lattice-ordered group,first order | Stallings theorem about ends of groups,Abelian group,Combinatorics,Free abelian group,Elementary abelian group,G-module,Isomorphism,Rank of an abelian group,Torsion subgroup,Mathematics | Conference |
Volume | ISSN | ISBN |
4460 | 0302-9743 | 3-540-75938-7 |
Citations | PageRank | References |
1 | 0.48 | 2 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
A.M.W. Glass | 1 | 4 | 1.22 |
Françoise Point | 2 | 21 | 10.04 |