Abstract:The proof of the Independence Theorem for Kim-independence in positive thick NSOP$_1$ theories from (Dobrowolski and Kamsma, 2022) contains a gap. The theorem is still true, and in this corrigendum we give a different proof.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is a flaw in the proof of the independence theorem regarding Kim - independence in positive logic. Specifically, in the original paper [DK22], there is a flaw in the proof of the independence theorem of Kim - independence in positive thick NSOP_1 theories, but the theorem itself is still correct. In this errata paper, the authors provide a different proof to fill this gap.
### Background and Problem Description
In [DK22], the authors proved various properties of Kim - independence in positive thick NSOP_1 theories. One of the important properties is the independence theorem [DK22, Theorem 7.7]. However, there is a flaw in the original proof, making the proof of this theorem incomplete. Nevertheless, the authors believe that the conclusion of the theorem is still correct and present a new proof method in this errata paper.
### Specific Description of the Flaw
The flaw occurs in the proof process of the original paper, especially when extracting M - indiscernible sequences. Specifically, the M - indiscernible sequences extracted by compactness may fail to preserve certain key properties, such as \((h''_i g''_{i + 1})_{i\in\mathbb{Z}}\models (q'|_{z_0,y})^{\mathbb{Z}}|M\) and \(h_i g_{i + 1}\equiv_M h'_i g'_{i + 1}h''_i g''_{i + 1}\). These properties cannot be guaranteed when re - indexing the sequences either.
### New Proof Method
To fill this gap, the authors introduce some technical tools and use the concepts of tree structures and Morley sequences. The new proof method mainly consists of the following parts:
1. **Technical Tools**:
- Reformulate the chain condition to make it applicable to the current proof.
- Prove that Ls - invariance is type - definable.
- Method for extending Ls - invariant types.
2. **Extended Tree Structure**:
- Define and construct Morley trees and Morley sequences.
- Use Ramsey's lemma to build mutually indiscernible tree sequences.
3. **New Proof of the Independence Theorem**:
- Prove the independence theorem step by step by constructing tree Morley sequences and applying the weak independence theorem.
### Conclusion
Through the above methods, the authors successfully provide a new proof, fill the gap in the original proof, and thus confirm the correctness of the independence theorem of Kim - independence in positive thick NSOP_1 theories.
### Formula Display
- **Chain Condition**:
\[
\bigcup_{i < \omega}p(x,b_i)
\]
does not Kim - fork over \(M\).
- **Ls - Invariance**:
\[
\Sigma(x)=\bigcup \{d_C(xb,xb')\leq 2:b,b'\in N \text{ are finite tuples and }d_C(b,b')\leq 1\}
\]
- **Extended Ls - Invariant Type**:
\[
p(x)\cup\Sigma(x)
\]
is finitely satisfiable.
- **Tree Morley Sequence**:
\[
\bigcup_{i < \omega}p(x,b_i)
\]
does not Kim - fork over \(M\).
These formulas and methods together form a new proof framework, ensuring the correctness and completeness of the independence theorem.