Model theory is a branch of mathematical logic that studies the properties of mathematical structures (like number systems or graphs) through the lens of formal logical theories. A central theme is identifying "dividing lines," which are properties that separate well-behaved theories from wild ones. Classic examples include stability and simplicity, which describe how complicated the definable sets in a theory can be. Researchers have spent decades understanding which theories fall on which side of these dividing lines and how those properties behave when you modify or expand a theory.
This paper introduces a broad framework, called the n-variable theorem, that applies to a large family of these dividing lines all at once. The key insight is that whenever a theory fails to satisfy one of these well-behaved properties, you can always find a concrete witness to that failure that is, in a precise technical sense, as simple as possible in terms of the number of free variables involved. This is a useful compression result: instead of needing complicated, high-dimensional witnesses to bad behavior, a low-complexity one always exists. The paper shows this applies to a surprisingly wide range of known dividing lines, unifying many previously separate results under one roof.
The main payoff is a collection of preservation theorems. When you take a well-behaved theory and expand it in standard ways, such as adding a generic predicate, a dense-codense substructure, or a derivation operator, the question is whether the expanded theory stays well-behaved. The paper proves that for all the dividing lines in its framework, the answer is essentially yes: the expansion is well-behaved if and only if the original theory was. These results had been proven case by case for individual dividing lines before, but the n-variable framework lets the authors handle many expansions and many dividing lines simultaneously and systematically.