具有独立子空间并的向量空间

摘要：近期可定义群理论推动了我们对带有无穷个独立子空间并集$X$的$K$-向量空间的理论研究。我们证明了，当$K$是无限域时，该理论是完全的，并且在$K$-向量空间语言中，对于$X$与其自身的$n$-倍直和具有量词消除性质。但是，当$K$是有限域时，这个结论不再成立。尽管如此，我们仍然可以得到一个自然的扩张是近模型完备的。

作者：Alessandro Berarducci, Marcello Mamino, Rosario Mennuni

论文ID：2209.03867

分类：Logic

分类简称：math.LO

提交时间：2023-06-23

PDF 下载： 英文版 中文版pdf翻译中