Orthogonality as single primitive notion for metric planes (Q2381801): Difference between revisions

\textit{F. Bachmann} [Aufbau der Geometrie aus dem Spiegelungsbegriff. Berlin: Springer-Verlag (1959; Zbl 0085.14502)] provided a simple group-theoretic system of axioms for a metric plane. The author of the present paper shows that Bachmann's metric planes can be axiomatized in terms of points and the notion of orthogonality as single primitive notion. The language in which the axioms are expressed contains one sort of variables standing for points and a ternary relation \(\perp\). The author gives 12 axioms and shows that these axiomatize Bachmann's metric planes.