We describe here a special subdirect decomposition of algebras with modular congruence lattice. Such a decomposition is based on the properties of the congruence lattices of algebras. We consider four properties of lattices: atomic, atomless, locally uniform and anti-uniform. In effect, we describe a star-decomposition of a given algebra with modular congruence lattice into two or three parts associated to these properties.

We investigate first order sentences valid in completions of a given partial algebraic structure - a partial model. We give semantic and syntactic description of the set of all sentences valid in every completion of the given partial model - first order theory of this model.

This paper presents the first purely algebraic characterization of classes of partial algebras definable by a set of strong equations. This result was posible due to new tools such as invariant congruences, i.e. a generalization of the notion of a fully invariant congruence, and extension of algebras, specific for strong equations.