A note on orthogonality of subspaces in Euclidean geometry
arXiv:1203.2664
Abstract
We show that Euclidean geometry in suitably high dimension can be expressed as a theory of orthogonality of subspaces with fixed dimensions and fixed dimension of their meet.