Characterizations of monadic NIP
Characterizations of monadic NIP
复制标题
一元 NIP 的特征
DOI：
10.1090/btran/94
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Laskowski, Michael
中科院分区：
文献类型：
--
作者：
Braunfeld, Samuel;Laskowski, Michael
我们给出了一个完备的一阶理论是一元NIP的几个刻画，即当任意一元谓词的展开式不具有独立性时。中心特征是类型的有限可满足性的条件。其他的刻画包括模型的分解、不可解的行为和禁止的配置。作为一个应用，我们证明了非结构的遗传类的有限子结构的非monadically NIP模型，消除量词。引用
We give several characterizations of when a complete first-order theoryis monadically NIP, ie when expansions ofby arbitrary unary predicates do not have the independence property. The central characterization is a condition on finite satisfiability of types. Other characterizations include decompositions of models, the behavior of indiscernibles, and a forbidden configuration. As an application, we prove non-structure results for hereditary classes of finite substructures of non-monadically NIP models that eliminate quantifiers. References
登录
查看更多内容
NIP 理论指南
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
Pierre Simon
通讯作者：
Pierre Simon
DOI：
--
发表时间：
2021
期刊：
arXiv.org
影响因子：
--
作者：
Pierre Simon;Szymon Toruńczyk
通讯作者：
Szymon Toruńczyk
Dp-极简：基本事实和示例
DOI：
10.1215/00294527-1435456
发表时间：
2009
期刊：
Notre Dame J. Formal Log.
影响因子：
--
作者：
Alfred Dolich;John Goodrick;David Lippel
通讯作者：
David Lippel
一元逻辑：Hanf 数
影响因子：
0.6
作者：
S. Shelah
通讯作者：
S. Shelah
快速增长的无限排列群
DOI：
--
发表时间：
1987
期刊：
影响因子：
--
作者：
H. D. Macpherson
通讯作者：
H. D. Macpherson