On the notion of a patterning property in model theory

Gabriel Day, Scott Mutchnik

Different kinds of definable patterns in the models of a first-order theory, such as the order property, the tree property, or the ($n$-)strict order property, allow us to distingu…