Forking in monadically NIP theories
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.25068
curl -X POST /api/v1/records/arxiv/2609.25068/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.25068/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'