English

On stable Kim-forking and rosy theories

Logic 2026-01-14 v1

Abstract

We provide a partial answer to a question asked independently by Kim and d'Elb\'ee and show that, under the assumption of the stable Kim-forking conjecture, every NSOP1\mathrm{NSOP}_1 rosy theory must be simple. We also prove that the theory of a Frobenius field has stable Kim-forking.

Keywords

Cite

@article{arxiv.2503.23936,
  title  = {On stable Kim-forking and rosy theories},
  author = {Alberto Miguel-Gómez},
  journal= {arXiv preprint arXiv:2503.23936},
  year   = {2026}
}

Comments

10 pages