Wild theories with o-minimal open core
Wild theories with o-minimal open core
复制标题
具有最小开放核心的狂野理论
DOI：
10.1016/j.apal.2017.10.002
复制
发表时间：
2018
影响因子：
0.8
通讯作者：
Walsberg, Erik
中科院分区：
文献类型：
--
作者：
Hieronymi, Philipp;Nell, Travis;Walsberg, Erik
设T是稠密序群理论的相容o-极小理论，T′是相容理论.然后有一个完整的理论T扩展T，使得T是T的一个开核，但T的每个模型都解释了T′的一个模型。如果T′是NIP，则T ′也可以被选择为NIP。由此，我们推导出真实的场的NIP展开的存在，它没有远端展开。
Let T be a consistent o-minimal theory extending the theory of densely ordered groups and let T′ be a consistent theory. Then there is a complete theory T⁎ extending T such that T is an open core of T⁎, but every model of T⁎ interprets a model of T′. If T′ is NIP, T⁎ can be chosen to be NIP as well. From this we deduce the existence of an NIP expansion of the real field that has no distal expansion.
登录
查看更多内容
添加线性阶次
DOI：
--
发表时间：
2011
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
S. Shelah;Pierre Simon
通讯作者：
Pierre Simon
DOI：
--
发表时间：
2011
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
A. Berenstein;Alfred Dolich;A. Onshuus
通讯作者：
A. Onshuus
NIP 理论指南
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
Pierre Simon
通讯作者：
Pierre Simon
解释实线展开中的一后继者的一元二阶理论
影响因子：
1
作者：
Philipp Hieronymi;Erik Walsberg
通讯作者：
Erik Walsberg
具有最小开放核心的结构
影响因子：
1.3
作者：
Alfred Dolich;Chris Miller;C. Steinhorn
通讯作者：
C. Steinhorn