{"id":"arxiv/2606.18533","url":"https://arxiv.org/abs/2606.18533","tags":["math.LO"],"score":0,"title":"On the notion of a patterning property in model theory","domain":"math.LO","source":"arxiv","authors":["Gabriel Day","Scott Mutchnik"],"reviews":0,"subject":"math.LO","summary":"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 distinguish theories according to their logical complexity. The complexity distinctions given by these definable patterns play a central role in model theory. However, a rigorous definition of the notion of a model-theoretic patterning property has yet to be established. We start by discussing different proposals from the literature for making the notion of a model-theoretic patterning property rigorous. Some examples will…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-16","reactions":{}}