Orthogonality as single primitive notion for metric planes

Research output: Contribution to journalArticlepeer-review

12 Scopus citations


We provide a first order axiomatization for Bachmann's metric planes in terms of points and the ternary relation ⊥ with ⊥ (abc) to be read as 'a, b, c are the vertices of a right triangle with right angle at a'. The axioms can be chosen to be ∀∃-statements.

Original languageEnglish (US)
Pages (from-to)399-409
Number of pages11
JournalBeitrage zur Algebra und Geometrie
Issue number2
StatePublished - Dec 1 2007

ASJC Scopus subject areas

  • Algebra and Number Theory
  • Geometry and Topology


Dive into the research topics of 'Orthogonality as single primitive notion for metric planes'. Together they form a unique fingerprint.

Cite this