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 , over -fields , and in the presence of orthogonal bases providing form elements in the prime subfield of , we show that quantifier free definable relations in the subspace lattice with involution by taking orthogonals, admit quantifier free descriptions within , also in terms of Grassmann-Pl\"ucker coordinates.In the latter setting, homogeneous descriptions are obtained if one allows quantification type . 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}
}