A formal introduction to Horndeski and Galileon theories and their generalizations

We review different constructions of Galileon theories in both flat and curved space, and for both single scalar field models as well as multifield models. Our main emphasis is on the formal mathematical properties of these theories and their construction.