Axiomatizations of hyperbolic and absolute geometries

zbMATH Open1106.51008MaRDI QIDQ5482811FDOQ5482811

Victor V. Pambuccian

Publication date: 15 August 2006

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

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)

Cited In (24)

• Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq
• Title not available (Why is that?)
• Betweenness in graphs: a short survey on shortest and induced path betweenness
• Title not available (Why is that?)
• Absolute isotropic geometry
• Projective-type axioms for the hyperbolic plane
• Lambert or Saccheri quadrilaterals as single primitive notions for plane hyperbolic geometry
• Axiomatizing geometric constructions
• Twin paradox and the logical foundation of relativity theory
• Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity
• Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry
• Fragments of Euclidean and hyperbolic geometry
• Simpler foundations for the hyperbolic plane
• Correction to ``Axiomatizations of hyperbolic geometry
• Title not available (Why is that?)
• Axiomatizing relativistic dynamics without conservation postulates
• Metric Geometries in an Axiomatic Perspective
• CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE
• The calculus of reflections and the order relation in hyperbolic geometry
• 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
• Groups and plane geometry

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)