What is the main use of indiscernibles in model theory? reading through Chang and Keisler's Model Theory it seems that the main motivation for indicernibles is for getting many non-isomorphic models for a theory (like the theory of dense linear order without endpoint). Also, can you recommend the best source for reading about indiscernibles and their uses?