有限维带对合的子空间格中的可定义关系。第二部分：无量词与齐次描述
逻辑
2019-05-20 v3
摘要
对于定义在 -域 上的有限维厄米特内积空间 ，且在存在正交基使得形式元素落在 的素子域中时，我们证明：在子空间格 中通过取正交获得的带对合的无量词可定义关系，容许在 内用无量词描述，也可借助 Grassmann-Plücker 坐标描述。在后一情形下，若允许 型量化，则可得到齐次描述。在无对合时，这些结果依然成立。
引用
@article{arxiv.1811.07840,
title = {Definable relations in finite dimensional subspace lattices with involution. Part II: Quantifier free and homogeneous descriptions},
author = {Christian Herrmann and Martin Ziegler},
journal= {arXiv preprint arXiv:1811.07840},
year = {2019}
}