Euclidean geometry of orthogonality of subspaces (Q2378033)

The authors prove the following Theorem. If \(1<k\), then a certain orthogonality relation on the family of \(k\)-subspaces can be used as a single primitive notion for at least \((k+2)\)-dimensional Euclidean geometry. Also, this orthogonal relation can be used as a single primitive notion in the family of lines for at least \(4\)-dimensional Euclidean geometry. In addition the authors obtain a similar result for another orthogonality relation.