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 language||English (US)|
|Number of pages||11|
|Journal||Beitrage zur Algebra und Geometrie|
|State||Published - Dec 1 2007|
ASJC Scopus subject areas
- Algebra and Number Theory
- Geometry and Topology