Forking and invariant types in monadic NIP theories
En palabras de los autores
We obtain a strong decomposition theorem for invariant global types in a monadically NIP theory. From this, we prove that if an -type does not fork over then where is -definable and is finitely satisfied in . Over arbitrary base sets , we prove that an -type does not fork over if and only if does not fork over for each singleton . We show that monadically NIP theories satisfy density of definable types among non-forking extensions.
Resultado principalEl resumen no menciona limitaciones.
Apareció: miércoles, 23 de septiembre. arXiv. Preprint, todavía sin revisión por pares.