Summary.
We prove that Euclidean geometry is interpretable in terms of orthogonality of its k-subspaces, and thus it can be formalized as a theory of such an orthogonality.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
Manuscript received: February 8, 2007 and, in final form, June 18, 2007.
Rights and permissions
About this article
Cite this article
Prażmowska, M., Prażmowski, K. & żynel, M. Euclidean geometry of orthogonality of subspaces. Aequ. math. 76, 151–167 (2008). https://doi.org/10.1007/s00010-007-2911-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00010-007-2911-9