Abstract:We observe that a simple condition suffices to describes non-forking independence over models in a stable theory.
Under mild assumptions, this description can be extended to non-forking independence over algebraically closed subsets, without having to use the full strength of the work of the seminal work of Kim and Pillay. The results in this note (which are surely well-known among most model theorists) essentially use that types over models in a stable theory are stationary.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is a simple condition for describing non - forking independence in stable theories. Specifically, the author observes that in stable theories, through some simple assumptions, the description of non - forking independence on models can be extended without using the full strength of Kim and Pillay's seminal work. These results are mainly based on the fact that types on models in stable theories are stable.
### Background of the paper
- **Stable theories**: Stable theories are a branch of model theory that study theories satisfying certain stability conditions. Stability conditions usually involve the size of the type space in the theory.
- **Non - forking independence**: Non - forking independence is a concept of independence defined in model theory, which is used to describe a certain "free" relationship between elements or sets. This independence is of great significance in stable theories because it can help us understand the relationships and structures between models.
### Main contributions of the paper
1. **Description of simple conditions**:
- The author proposes a simple condition for describing non - forking independence on models in stable theories. This condition is based on the property that types on models are stable.
2. **Extension to algebraically closed subsets**:
- The author further explores how to extend this description to non - forking independence on algebraically closed subsets. This extension does not need to rely on the complete work of Kim and Pillay, but is achieved through some mild assumptions.
3. **Weak independence concept**:
- A weak independence concept is introduced in the paper, and it is proved that under certain conditions, this weak independence is consistent with non - forking independence. These conditions include stability on models, base monotonicity, transitivity, etc.
### Specific content
- **Definitions and properties**:
- The paper first defines the abstract independence relation and its basic properties, such as invariance, symmetry, monotonicity, base monotonicity, transitivity, extensibility, finiteness, etc.
- It further defines non - forking independence and discusses its importance in stable theories.
- **Weak independence**:
- The concept of weak independence is introduced, and it is proved that under certain conditions, weak independence is consistent with non - forking independence.
- In particular, if weak independence satisfies properties such as stability on models, base monotonicity, and transitivity, then it is consistent with non - forking independence.
- **Applications**:
- Finally, the paper discusses how to apply these results to describe non - forking independence in some classical theories (such as the theory of free pseudo - planes, the theory of differentially closed fields, the theory of separably closed fields).
### Conclusion
By introducing a simple condition, this paper successfully describes non - forking independence on models in stable theories and extends it to algebraically closed subsets. These results not only simplify the understanding of non - forking independence, but also provide a new method for dealing with independence problems in stable theories.