Existence in NSOP$_1$ theories
Logic
2025-12-30 v2
Abstract
We show that Kim-forking satisfies existence in all NSOP theories.
Keywords
Cite
@article{arxiv.2405.13741,
title = {Existence in NSOP$_1$ theories},
author = {Byunghan Kim and Joonhee Kim and Hyoyoon Lee},
journal= {arXiv preprint arXiv:2405.13741},
year = {2025}
}