A formal introduction to Horndeski and Galileon theories and their generalizations
Abstract
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.