Showing math.LOShow all
3 papers · 1 filter
math.LO2025
A note on stable Kim-forking
Yvon Bossut
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.
math.LO2025
Looking for stabilizers in NSOP
Yvon Bossut
In this work we study some examples of groups definable and type-definable in NSOP1 theories. We exhibit some behaviors of these groups that differ from the ones of simple groups.…
math.LO2022
Kim-forking for hyperimaginaries in NSOP1 theories
Yvon Bossut
We adapt the properties of Kim-independence in NSOP1 theories with existence proven in [5],[4] and [2] by Ramsey, Kaplan, Chernikov, Dobrowolski and Kim to hyperimaginaries by addi…