Boolean powers, recursive models, and the Horn theory of a structure
scientific article; zbMATH DE number 3795937