Explores connections between infinitary model theory and other branches of mathematical logic, with algebraic applications.