| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10118868 | Annals of Pure and Applied Logic | 2005 | 19 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
A.M.W. Glass, Angus Macintyre, Françoise Point,