SEMI-EQUATIONAL THEORIES
SEMI-EQUATIONAL THEORIES
复制标题
半方程理论
DOI：
10.1017/jsl.2023.28
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
MENNEN, ALEX
中科院分区：
文献类型：
--
作者：
CHERNIKOV, ARTEM;MENNEN, ALEX
我们介绍和研究（弱）半等式理论，推广均衡稳定的理论（在Srour的意义上）的NIP的上下文中。特别是，我们建立了一个连接到远端通过片面强诚实的定义，证明了某些树是半等式的，而代数闭值域不是弱半等式的，并获得了一个一般的标准弱半等式的远端结构的扩展由一个新的谓词。
We introduce and study (weakly) semi-equational theories, generalizing equationality in stable theories (in the sense of Srour) to the NIP context. In particular, we establish a connection to distality via one-sided strong honest definitions; demonstrate that certain trees are semi-equational, while algebraically closed valued fields are not weakly semi-equational; and obtain a general criterion for weak semi-equationality of an expansion of a distal structure by a new predicate.
登录
查看更多内容
稳定理论中的闭集和链条件
DOI：
--
发表时间：
1984
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
A. Pillay;G. Srour
通讯作者：
G. Srour
(Z; ) 的 dp-最小展开族
影响因子：
0.7
作者：
Chieu;Erik Walsberg
通讯作者：
Erik Walsberg
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
Z. Sela
通讯作者：
Z. Sela
DOI：
--
发表时间：
2017
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
A. Martin;M. Ziegler
通讯作者：
M. Ziegler
o 最小结构的三分定理
DOI：
--
发表时间：
1998
期刊：
影响因子：
--
作者：
Y. Peterzil;S. Starchenko
通讯作者：
S. Starchenko