English

Definable relations in finite dimensional subspace lattices with involution. Part II: Quantifier free and homogeneous descriptions

Logic 2019-05-20 v3

Abstract

For finite dimensional hermitean inner product spaces VV, over *-fields FF, and in the presence of orthogonal bases providing form elements in the prime subfield of FF, we show that quantifier free definable relations in the subspace lattice L(V)L(V) with involution by taking orthogonals, admit quantifier free descriptions within FF, also in terms of Grassmann-Pl\"ucker coordinates.In the latter setting, homogeneous descriptions are obtained if one allows quantification type Σ1\Sigma_1. In absence of involution, these results remain valid.

Keywords

Cite

@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}
}