In the present paper we prove the integrability (in the sense of existence of formal symmetry of infinite rank) for a class of block-triangular inhomogeneous extensions of (1+1)-dimensional integrable evolution systems. An important consequence of this result is the existence of formal symmetry of infinite rank for “almost integrable” systems, recently discovered by Sanders and van der Kamp.

In the present paper we prove the integrability (in the sense of existence of formal symmetry of infinite rank) for a class of block-triangular inhomogeneous extensions of (1+1)-dimensional integrable evolution systems. An important consequence of this result is the existence of formal symmetry of infinite rank for “almost integrable” systems, recently discovered by Sanders and van der Kamp.

We prove that any torsion-free, residually finite relatively free group of infinite rank is not א1-homogeneous. This generalizes R. Sklinos’ result that a free group of infinite rank is not א1-homogeneous, and, in particular, gives a new simple proof of that result.

A group is small if it has countably many complete n-types over the empty set for each natural number n. More generally, a group G is weakly small if it has countably many complete 1-types over every finite subset of G. We show here that in a weakly small group, subgroups which are definable with parameters lying in a finitely generated algebraic closure satisfy the descending chain conditions ...