Given an infinite Boolean algebra B, we find a natural class of equation image-definable equivalence relations equation image such that every imaginary element from Beq is interdefinable with an element from a sort determined by some equivalence relation from equation image. It follows that B together with the family of sorts determined by equation image admits elimination of imaginaries in a suitable multisorted language. The paper generalizes author's earlier results concerning definable equivalence relations and weak elimination of imaginaries for Boolean (...) algebras, obtained in 10. (shrink)

We explain how the field of logarithmic-exponential series constructed in 20 and 21 embeds as an exponential field in any field of exponential-logarithmic series constructed in 9, 6, and 13. On the other hand, we explain why no field of exponential-logarithmic series embeds in the field of logarithmic-exponential series. This clarifies why the two constructions are intrinsically different, in the sense that they produce non-isomorphic models of Thequation image; the elementary theory of the ordered field of real numbers, with the (...) exponential function and restricted analytic functions. (shrink)

We give two slight generalizations of results of Poizat about elementary theories of groups obtained by free constructions. The first-one concerns generic types and the non-superstability of such groups in many cases. The second-one concerns the connectedness of most free products of groups without amalgamation.