Abstract:We give definitions of the properties OP, IP, $k$-TP, TP$_1$, $k$-TP$_2$, SOP$_1$, SOP$_2$ and SOP$_3$ in positive logic, and prove various implications and equivalences between them. We also provide a characterisation of stability in positive logic in analogy with the one in full first-order logic, both on the level of formulas and on the level of theories. For simple theories there are the classically equivalent definitions of not having TP and dividing having local character, which we prove to be equivalent in positive logic as well. Finally, we show that a thick theory $T$ has OP iff it has IP or SOP$_1$ and that $T$ has TP iff it has SOP$_1$ or TP$_2$, analogous to the well-known results in full first-order logic where SOP$_1$ is replaced by SOP in the former and by TP$_1$ in the latter. Our proofs of these final two theorems are new and make use of Kim-independence.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to generalize the dividing lines of theories in positive logic and prove various implication relations and equivalence relations among these dividing lines. Specifically, the authors focus on how to define and study some important combinatorial properties (such as OP, IP, k - TP, TP1, k - TP2, SOP1, SOP2, SOP3, etc.) in the framework of positive logic, as well as the inter - relations among these properties. In addition, they also explore the manifestations of the concepts of stability and simplicity in positive logic and prove some theorems similar to the known results in full first - order logic.
### Main contributions of the paper:
1. **Stability**:
- The authors re - define the characteristics of stable formulas in positive logic, for example, by the absence of the Order Property (OP) or type counting.
- Prove the equivalent definitions of stable theories, that is, a theory is stable if and only if it has no OP.
2. **Simplicity**:
- Prove that in positive logic, simple theories can be defined by local character or the absence of the Tree Property (TP).
- Further prove that these definitions are equivalent in positive logic.
3. **Relations among combinatorial properties**:
- Provide a detailed diagram showing the implication relations among different combinatorial properties.
- Prove some important theorems, for example, a theory has OP if and only if it has IP or SOP1, and a theory has TP if and only if it has SOP1 or TP2.
### Formulas and definitions:
- **Order Property (OP)**:
\[
\phi(x, y) \text{ has OP if and only if there exist sequences } (a_i)_{i < \omega} \text{ and } (b_i)_{i < \omega} \text{ and } \psi(x, y) \text{ is the negation of } \phi(x, y) \text{ such that for all } i, j < \omega:
\]
\[
\models \phi(a_i, b_j) \text{ if } i < j,
\]
\[
\models \psi(a_i, b_j) \text{ if } i \geq j.
\]
- **Independence Property (IP)**:
\[
\phi(x, y) \text{ has IP if and only if there exist sequences } (a_i)_{i < \omega} \text{ and } (c_\sigma)_{\sigma \in 2^\omega} \text{ and } \psi(x, y) \text{ is the negation of } \phi(x, y) \text{ such that for all } i < \omega \text{ and } \sigma \in 2^\omega:
\]
\[
\models \phi(a_i, c_\sigma) \text{ if } \sigma(i)=1,
\]
\[
\models \psi(a_i, c_\sigma) \text{ if } \sigma(i) = 0.
\]
- **Tree Property (TP)**:
\[
\phi(x, y) \text{ has TP if and only if there exists a natural number } k\geq 2 \text{ such that } \phi(x, y) \text{ has } k - TP.
\]
### Conclusion:
Through these definitions and proofs, the authors provide a more complete and