•  12
    Belegradek, O., Verbovskiy, V. and Wagner, FO, Coset
    with J. Y. Halpern, B. M. Kapron, V. S. Harizanov, U. Kohlenbach, P. Oliva, B. Luttik, P. Matet, and M. Pourmahdian
    Annals of Pure and Applied Logic 121 (1): 287. 2003.
  •  13
    First-order theories of subgroups of divisible Hahn products
    Annals of Pure and Applied Logic 121 (2-3): 261-279. 2003.
    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 , 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 . We introduce a generalization of the projectability property . We prove that the class of r-projectable special-valued divisible ℓ-groups is an elementary c…Read more