Title of article
Free abelian lattice-ordered groups
Author/Authors
Glass، نويسنده , , A.M.W. and Macintyre، نويسنده , , Angus and Point، نويسنده , , Françoise، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
19
From page
265
To page
283
Abstract
Let n be a positive integer and F A ℓ ( n ) be the free abelian lattice-ordered group on n generators. We prove that F A ℓ ( m ) and F A ℓ ( n ) do not satisfy the same first-order sentences in the language L = { + , − , 0 , ∧ , ∨ } if m ≠ n . We also show that Th ( F A ℓ ( n ) ) is decidable iff n ∈ { 1 , 2 } . Finally, we apply a similar analysis and get analogous results for the free finitely generated vector lattices.
Keywords
Decidability , Simplices , Free abelian lattice-ordered groups , Elementary equivalence
Journal title
Annals of Pure and Applied Logic
Serial Year
2005
Journal title
Annals of Pure and Applied Logic
Record number
1443654
Link To Document