Forking and invariant types in monadic NIP theories

Michael C. Laskowski

In the authors' words

We obtain a strong decomposition theorem for invariant global types in a monadically NIP theory. From this, we prove that if an $n$ -type $tp (a ˉ / M C)$ does not fork over $M$ then $a ˉ = (f ˉ, d ˉ)$ where $tp (d ˉ / M C)$ is $M$ -definable and $tp (f ˉ / M C d ˉ)$ is finitely satisfied in $M$ . Over arbitrary base sets $B$ , we prove that an $n$ -type $tp (a ˉ / B C)$ does not fork over $B$ if and only if $tp (a_{i} / B C)$ does not fork over $B$ for each singleton $a_{i} \in a ˉ$ . We show that monadically NIP theories satisfy density of definable types among non-forking extensions.

Main resultThe abstract does not state a limitation.

Forking and invariant types in monadic NIP theories

In the authors' words

More on Other mathematics that day

From foundations to applications: reverse mathematics and philosophy

The inverse elastic scattering problem in the cavity with impedance boundary

Forking in monadically NIP theories

Pointwise provable equality and the failure of composition