Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry

Research output: Contribution to journalArticlepeer-review

6 Scopus citations

Abstract

We show that both elementary n-dimensional hyperbolic geometry and Euclidean geometry (for all n ≥: 2) can be axiomatized in a one-sorted first-order language with spheres as individual variables and the binary predicate of sphere tangency as the only primitive notion.

Original languageEnglish (US)
Pages (from-to)943-947
Number of pages5
JournalForum Mathematicum
Volume15
Issue number6
DOIs
StatePublished - 2003

ASJC Scopus subject areas

  • Mathematics(all)
  • Applied Mathematics

Fingerprint

Dive into the research topics of 'Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry'. Together they form a unique fingerprint.

Cite this