Abstract:A theory is NIP (resp. stable) if and only if every formula with parameters in two single variables is NIP (resp. does not have the order property).
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the simplification of the conditions of NIP (not having the independence property) and stability (not having the order property) in model theory. Specifically, the author Pierre Simon explored how to simplify the definitions of these properties by restricting the number of variables, namely:
1. **NIP property**: A theory \(T\) is NIP if and only if for any model \(M\models T\), any formula \(\varphi(x; y)\) with parameters (where \(x\) and \(y\) are both single variables) is NIP.
2. **Stability**: A theory \(T\) is stable if and only if for any model \(M\models T\), any formula \(\varphi(x; y)\) with parameters (where \(x\) and \(y\) are both single variables) does not have the order property.
### Background knowledge
In model theory, NIP and stability are two important concepts used to describe the behavior of theories. NIP theories refer to those theories that do not have the independence property, while stable theories refer to those theories that do not have the order property. Usually, the definitions of these properties need to consider all possible formulas, which makes it complicated to determine whether a theory has these properties.
### Main contributions of the paper
1. **Simplified conditions**: The paper proves that to determine whether a theory \(T\) is NIP or stable, it is only necessary to check all formulas of the form \(\varphi(x; y)\), where \(x\) and \(y\) are both single variables and the formulas are allowed to have parameters.
2. **Technical means**: To prove this, the author uses Ramsey's theorem and the compactness theorem, as well as the concept of generalized indiscernible sequences. In particular, the author uses the properties of random bipartite graphs and ordered bipartite graphs to construct the required indiscernible sequences.
### Proof ideas
- **Stability**:
- Assume that \(T\) is unstable, then there exists a formula \(\varphi(\bar{x}; \bar{y})\) that has the order property.
- Through symmetry and induction, the length of \(\bar{y}\) can be gradually reduced until \(\bar{y}\) becomes a single variable.
- Using Ramsey's theorem and the compactness theorem, an indiscernible sequence is constructed, thus proving that \(\varphi(x; y)\) has the order property, where \(x\) and \(y\) are both single variables.
- **NIP property**:
- Assume that \(T\) has the independence property, then there exists a formula \(\varphi(\bar{x}; \bar{y})\) that has the independence property.
- Similarly, by reducing the length of \(\bar{y}\) until \(\bar{y}\) becomes a single variable.
- Using the indiscernible sequence of the ordered bipartite graph, a formula \(\psi(x; y)\) with the independence property is constructed, where \(x\) and \(y\) are both single variables.
### Conclusion
By simplifying the NIP and stability conditions, the paper provides a simpler method to determine whether a theory has these properties. This is of great significance for the research and application of model theory, especially when dealing with complex theories and formulas.