Axiomatizations of hyperbolic and absolute geometries

MaRDI QIDQ5482811zbMATHFDO

Authors Victor V. Pambuccian

Publication date 15 August 2006

zbMATH Keywords

hyperbolic geometryabsolute geometryHjelmslev planesconstructive axiomatizationsreverse geometrygeneralized hyperbolic geometriesMenger-Skala axiom systemsordered based, metric planesSchmidt-Bachmann planesSperner planesTarski's languagethree-and higher-dimensional absolute geometries

Mathematics Subject Classification ID

Hyperbolic and elliptic geometries (general) and generalizations (51M10) Research exposition (monographs, survey articles) pertaining to geometry (51-02) Metric geometry (51Fxx)

Recommendations

• Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry
• Constructive axiomatization of plane hyperbolic geometry
• Fragments of Euclidean and hyperbolic geometry
• The simplest axiom system for plane hyperbolic geometry
• Metric Geometries in an Axiomatic Perspective

Cited in

(26)

• Fragments of Euclidean and hyperbolic geometry
• scientific article; zbMATH DE number 2211910 (Why is no real title available?)
• Betweenness in graphs: a short survey on shortest and induced path betweenness
• A geometric characterization of the real absolute planes.
• Metric Geometries in an Axiomatic Perspective
• Constructive geometry and the parallel postulate
• The calculus of reflections and the order relation in hyperbolic geometry
• Correction to ``Axiomatizations of hyperbolic geometry
• scientific article; zbMATH DE number 2183395 (Why is no real title available?)
• Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq
• Axiomatizing relativistic dynamics without conservation postulates
• Projective-type axioms for the hyperbolic plane
• scientific article; zbMATH DE number 815102 (Why is no real title available?)
• Lambert or Saccheri quadrilaterals as single primitive notions for plane hyperbolic geometry
• Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity
• Axiomatizing geometric constructions
• The Thomsen-Bachmann correspondence in metric geometry. I
• The Thomsen-Bachmann correspondence in metric geometry. II
• Quantifier-free axioms for constructive affine plane geometry
• On R. Baer's generalized hyperbolic planes
• Twin paradox and the logical foundation of relativity theory
• Absolute isotropic geometry
• Groups and plane geometry
• Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry
• The simplest axiom system for hyperbolic geometry revisited, again
• Simpler foundations for the hyperbolic plane

This page was built for publication: Axiomatizations of hyperbolic and absolute geometries

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5482811)