{"id":"arxiv/2609.25068","url":"https://arxiv.org/abs/2609.25068","tags":["math.LO","cs.LO"],"score":0,"title":"Forking in monadically NIP theories","domain":"math.LO","source":"arxiv","authors":["Artem Chernikov"],"reviews":0,"subject":"math.LO","summary":"We demonstrate that forking in monadically NIP theories satisfies a very strong form of triviality over arbitrary sets, generalizing Baldwin-Shelah in monadically stable theories and analogous to Shelah's result for finite satisfiability over models in monadically NIP theories. This implies in particular that strict non-forking independence is particularly well behaved, and that the forking relation induces a canonical semilinear partial order on singletons. We also give an example of an $ω$-categorical monadically NIP theory so that no finite set is an extension base.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-17","reactions":{}}