A note on stable Kim-forking
Yvon Bossut (AGL, ICJ)
TL;DR
This paper introduces weak stable Kim-forking, extending stable forking concepts to NSOP1 theories and adapting existing results to this broader context.
Contribution
It defines a new notion of weak stable Kim-forking and generalizes stable forking results to NSOP1 theories.
Findings
Established weak stable Kim-forking in NSOP1 theories
Generalized stable forking results to a broader class of theories
Provided foundational concepts for further research in NSOP1 theories
Abstract
We define weak stable Kim-forking, a notion that generalizes stable forking to the context of NSOP1 theories. We adapt some of the known results on stable forking to this context.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsArtificial Intelligence in Games