On the independence property of first-order theories and indiscernible sequences
scientific article; zbMATH DE number 6024000