Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry

DOI10.1515/FORM.2003.047zbMath1038.51014OpenAlexW1983799229MaRDI QIDQ4435244

Victor V. Pambuccian

Publication date: 27 November 2003

Published in: Forum Mathematicum (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/form.2003.047

zbMATH Keywords

Euclidean geometryaxiom\(n\)-dimensional hyperbolic geometryone-sorted first-order language

Mathematics Subject Classification ID

Hyperbolic and elliptic geometries (general) and generalizations (51M10) Foundations of classical theories (including reverse mathematics) (03B30) Euclidean geometries (general) and generalizations (51M05)

Related Items (1)

Mappings preserving the area equality of hyperbolic triangles are motions

Cites Work

• A logical look at characterizations of geometric transformations under mild hypotheses
• Binary relations as single primitive notions for hyperbolic three-space and the inversive plane.
• Unnamed Item

This page was built for publication: Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry