•  3
    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.
  •  4
    First order theory of cyclically ordered groups
    with M. Giraudet and G. Leloup
    Annals of Pure and Applied Logic 169 (9): 896-927. 2018.
  •  3
    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