论文标题
monadic nip的存在特征
Existential characterizations of monadic NIP
论文作者
论文摘要
我们表明，如果通用理论不是单语上的，那么这是由存在公式定义的规范配置见证的。结果，我们表明，遗传性关系结构类是nip（分别稳定），并且仅当它是monadainade nip（分子上是稳定的）。另一个结果，我们表明，如果这种类别不是单语上的，那么它具有巨大的增长率。
We show that if a universal theory is not monadically NIP, then this is witnessed by a canonical configuration defined by an existential formula. As a consequence, we show that a hereditary class of relational structures is NIP (resp. stable) if and only if it is monadically NIP (resp. monadically stable). As another consequence, we show that if such a class is not monadically NIP, then it has superexponential growth rate.
