A note on orthogonality of subspaces in Euclidean geometry

DOI10.1016/j.jal.2013.01.001zbMath1284.51010arXiv1203.2664MaRDI QIDQ2446541

Mariusz Żynel, Jacek Konarzewski

Publication date: 17 April 2014

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1203.2664

zbMATH Keywords

orthogonality; Euclidean geometry; adjacency

Mathematics Subject Classification ID

03B30: Foundations of classical theories (including reverse mathematics)

51F20: Congruence and orthogonality in metric geometry

51M05: Euclidean geometries (general) and generalizations

03C40: Interpolation, preservation, definability