机构名称：
¥ 1.0
摘要：对于域 F 上的有限维向量空间 V，令 P ( V ) 为 V 中按 ⊆ 包含排序的线性子空间集。我们证明，对于维数 V ≥ 3，射影空间 P ( V ) 经常（具有可定义参数）与 F 双向解释。这对于确定这些结构的一些逻辑性质有许多影响。这些性质包括 Th ( P ( V )) 和 Th ( F ) 的可判定性、P ( V ) 的一阶分类、P ( V ) 是否丰富（弱二阶逻辑等同于一阶逻辑）以及 P ( V ) 是否具有虚数的一致消去。
群、逻辑和计算 Brett Berger
主要关键词
相关文件推荐
