DI-UMONS : Dépôt institutionnel de l’université de Mons

Recherche transversale
Rechercher
(titres de publication, de périodique et noms de colloque inclus)
2005-07-01 - Article/Dans un journal avec peer-review - Anglais - 19 page(s)

Glass A. M. W., Macintyre Angus, Point Françoise , "Free abelian lattice-ordered groups" in Annals of Pure & Applied Logic, 134, 2-3, 265-283

  • Edition : Elsevier Science
  • Codes CREF : Logique mathématique (DI1170), Informatique mathématique (DI1160)
  • Unités de recherche UMONS : Logique mathématique (S838)
Texte intégral :

Abstract(s) :

(Anglais) Let n be a positive integer and FAl(n) be the free abelian lattice-ordered group on n generators. We prove that FAl(m) and FAl(n) do not satisfy the same first-order sentences in the language if m?n. We also show that is decidable iff n{1,2}. Finally, we apply a similar analysis and get analogous results for the free finitely generated vector lattices.

Identifiants :
  • DOI : 10.1016/j.apal.2004.10.017