ON STABLE KIM-FORKING AND ROSY THEORIES
Abstract We provide a partial answer to a question asked independently by Kim and d’Elbée and show that, under the assumption of the stable Kim-forking conjecture, every $\text {NSOP}_1$ rosy theory must be simple. We also prove that the theory of a Frobenius field has stable Kim-forking.
Authors
- ALBERTO MIGUEL-GÓMEZ
Publication Details
- Journal
- Journal of Symbolic Logic
- Published
- 2025-12-12
- DOI
- https://doi.org/10.1017/jsl.2025.10173
- Primary Topic
- Algebraic Geometry and Number Theory
- Type
- article
- Field-Weighted Citation Impact
- 0.00