Characterisation of quadratic spaces over the Hilbert field by means of the orthogonality relation

Miroslav Korbelář, Jan Paseka, Thomas Vetterlein

An orthoset is a set equipped with a symmetric, irreflexive binary relation. With any (anisotropic) Hermitian space $H$, we may associate the orthoset $(P(H),\perp )$, consisting of…