Abstract | ||
---|---|---|
Let n be a positive integer and FAℓ(n) be the free abelian lattice-ordered group on n generators. We prove that FAℓ(m) and FAℓ(n) do not satisfy the same first-order sentences in the language L={+,−,0,∧,∨} if m≠n. We also show that Th(FAℓ(n)) is decidable iff n∈{1,2}. Finally, we apply a similar analysis and get analogous results for the free finitely generated vector lattices. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1016/j.apal.2004.10.017 | Annals of Pure and Applied Logic |
Keywords | Field | DocType |
03B25,06F20,20F60 | Integer,Abelian group,Discrete mathematics,Free abelian group,Combinatorics,Lattice (order),Elementary abelian group,Elementary equivalence,Decidability,Rank of an abelian group,Mathematics | Journal |
Volume | Issue | ISSN |
134 | 2 | 0168-0072 |
Citations | PageRank | References |
3 | 0.73 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
A.M.W. Glass | 1 | 4 | 1.22 |
Angus Macintyre | 2 | 212 | 56.35 |
Françoise Point | 3 | 21 | 10.04 |