Forking in monadically NIP theories
En palabras de los autores
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.
Resultado principalLimitación que admiten los autores
Apareció: miércoles, 23 de septiembre. arXiv. Preprint, todavía sin revisión por pares.
Comentario de los autores: 22 pages