Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1521

Preprint Number 1522

Previous Next Preprint server

1521. Christian Herrmann and Martin Ziegler
Quantifier free definable relations on finite dimensional subspace lattices with involution

Submission date: 19 November 2018


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.

Last updated: December 6 2018 16:59 Please send your corrections to: