Orthogonality as single primitive notion for metric planes (Q2381801)

From MaRDI portal
Revision as of 20:41, 3 August 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Orthogonality as single primitive notion for metric planes
scientific article

    Statements

    Orthogonality as single primitive notion for metric planes (English)
    0 references
    18 September 2007
    0 references
    \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.
    0 references
    metric plane
    0 references
    orthogonality
    0 references
    axiomatics
    0 references
    primitive notion
    0 references
    ternary relation
    0 references
    first-order language
    0 references

    Identifiers