Submission date: 19 November 2018

Abstract:

For finite dimensional hermitean inner product spaces V, over *-fields F, and in the presence of orthogonal bases providing form elements in the prime subfield of F, we show that quantifier free definable relations in the subspace lattice L(V) with involution by taking orthogonals, admit quantifier free descriptions within F, also in terms of Grassmann-Plücker coordinates.

Mathematics Subject Classification: 03C99, 05E99, 06C99, 14M15

Keywords and phrases:

Full text arXiv 1811.07840: pdf, ps.