Elimination of Quantifiers over Vectors in Some Theories of Vector Spaces
Elimination of Quantifiers over Vectors in Some Theories of Vector Spaces
复制标题
某些向量空间理论中向量量词的消去
DOI：
--
复制
发表时间：
1992
影响因子：
0.3
通讯作者：
A. Kuzichev
中科院分区：
文献类型：
--
作者：
A. Kuzichev
我们考虑两个排序理论的向量空间，并证明了一个标准的断言，这样的理论允许消除向量变量的量词。
We consider two-sorted theories of vector spaces and prove a criterion for the assertion that such a theory allows elimination of quantifiers over vector variables.