Orthogonality as single primitive notion for metric planes

Research output: Contribution to journalArticle

10 Scopus citations

Abstract

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
Volume48
Issue number2
StatePublished - Dec 1 2007

ASJC Scopus subject areas

  • Algebra and Number Theory
  • Geometry and Topology

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

  • Cite this