论文标题
半平等理论
Semi-equational theories
论文作者
论文摘要
我们介绍和研究半平等和弱半平等理论，将稳定理论（从SROUR的意义上）概括为nip上下文。特别是，我们通过单方面的诚实定义建立了与远距离的联系。证明某些树木是半平等的，而代数封闭的有价值的田地并非半平等；并获得通过新谓词扩展远端结构的弱半平等性的一般标准。
We introduce and study semi-equational and 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.
