We present an axiom system for plane hyperbolic geometry in a language with lines as the only individual variables and the binary relation of line-perpendicularity as the only primitive notion. It was made possible by results obtained by K. List  and H. L. Skala . A similar axiomatization is possible for n-dimensional hyperbolic geometry with n ≧ 4. We also point out that plane hyperbolic geometry admits a ∀∃-axiomatization in terms of line-perpendicularity alone, an axiomatization we could not find.
|Original language||English (US)|
|Number of pages||11|
|Journal||Acta Mathematica Hungarica|
|State||Published - Oct 1 2003|
- Hyperbolic geometry
ASJC Scopus subject areas