Some applications of infinitary logical languages in universal algebra

Some examples are given of applications of an in nite logical language in universal algebra, in the algebraic geometry of universal algebras, in the theory of implicit operations on algebras, in the Galois theory between automorphisms of universal algebras and its subalgebras of xed points, in the theory of Hamiltonian closure of subalgebras and other areas.