Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry (Q4435244)
From MaRDI portal
scientific article; zbMATH DE number 2010406
Language | Label | Description | Also known as |
---|---|---|---|
English | Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry |
scientific article; zbMATH DE number 2010406 |
Statements
Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry (English)
0 references
27 November 2003
0 references
axiom
0 references
\(n\)-dimensional hyperbolic geometry
0 references
Euclidean geometry
0 references
one-sorted first-order language
0 references