First-order theories of subgroups of divisible Hahn products

  • Lucas F
  • 1


    Mendeley users who have this article in their library.
  • 1


    Citations of this article.


(All the ℓ-groups we consider are Abelian.) Some first-order theories of divisible ℓ-groups are well known, for example the theory of the totally ordered ones and the theories of the projectable ones (in: A.M.W. Glass, W.C. Holland (Eds.), Lattice-ordered Groups, Kluwer Academic Press, Dordrecht, 1989, pp. 41-79). In this paper we study some theories of nonprojectable divisible ℓ-groups, the simplest example of which is R×→ (R × R) (the lexicographic product of R by the direct product R × R). We introduce a generalization of the projectability property (r-projectability). We prove that the class of r-projectable special-valued divisible ℓ-groups is an elementary class and give a classification of its completions. © 2003 Elsevier Science B.V. All rights reserved.

Author-supplied keywords

  • Elementary equivalence and elementary substructures
  • Hahn products
  • Model theory
  • Special-valued lattice-ordered abelian groups

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Francois Lucas

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free