scientific article; zbMATH DE number 5046175
From MaRDI portal
Publication:5482811
zbMath1106.51008MaRDI QIDQ5482811
Publication date: 15 August 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
hyperbolic geometryabsolute geometryHjelmslev planesconstructive axiomatizationsreverse geometrygeneralized hyperbolic geometriesMenger-Skala axiom systemsordered based, metric planesSchmidt-Bachmann planesSperner planesTarski's languagethree-and higher-dimensional absolute geometries
Hyperbolic and elliptic geometries (general) and generalizations (51M10) Research exposition (monographs, survey articles) pertaining to geometry (51-02) Metric geometry (51Fxx)
Related Items
The calculus of reflections and the order relation in hyperbolic geometry ⋮ CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE ⋮ Simpler foundations for the hyperbolic plane ⋮ Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq ⋮ The Thomsen-Bachmann correspondence in metric geometry. I ⋮ The Thomsen-Bachmann correspondence in metric geometry. II ⋮ Axiomatizing relativistic dynamics without conservation postulates ⋮ Absolute isotropic geometry ⋮ Twin paradox and the logical foundation of relativity theory ⋮ Betweenness in graphs: a short survey on shortest and induced path betweenness ⋮ Groups and plane geometry