Submission date: 22 May 2024

Abstract:

We show that Kim-forking satisfies existence in all NSOP_1 theories.

Mathematics Subject Classification: 03C45, 03C50

Keywords and phrases:

Full text arXiv 2405.13741: pdf, ps.