Orthogonality as single primitive notion for metric planes

@inproceedings{Pambuccian2007OrthogonalityAS,
  title={Orthogonality as single primitive notion for metric planes},
  author={Victor Pambuccian and Rolf Struve},
  year={2007}
}
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. MSC 2000: 51F15, 03B30 

1 Figure or Table

Topic