Constructive axiomatization of plane hyperbolic geometry

DOI10.1002/1521-3870(200111)47:4%3C475::AID-MALQ475%3E3.0.CO;2-SMaRDI QIDQ2765570zbMATH OpenOpenAlexFDO

Authors Victor V. Pambuccian

Publication date 24 January 2002

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/1521-3870(200111)47:4%3C475::aid-malq475%3E3.0.co;2-s

zbMATH Keywords

constructive axiomatisationMenger-Skala axiomsplane hyperbolic geometry

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Hyperbolic and elliptic geometries (general) and generalizations (51M10)

Review text

A constructive axiomatisation of plane hyperbolic geometry is provided in a first-order language with two sorts of individual variables (meant to denote points and lines, respectively). The adequacy of the axiom system is shown by proving the Menger-Skala axioms within the new system.

Recommendations

• Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry
• The simplest axiom system for plane hyperbolic geometry
• Aruler and segment-transporter constructive axiomatization of plane hyperbolic geometry
• Axiomatizing geometric constructions
• The simplest axiom system for plane hyperbolic geometry revisited

Cited in

(16)

• Projective-type axioms for the hyperbolic plane
• The simplest axiom system for plane hyperbolic geometry
• Construction of hyperbolic geometry from the notion of line orthogonality
• Axiomatizing geometric constructions
• A constructive real projective plane
• Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry
• On R. Baer's generalized hyperbolic planes
• scientific article; zbMATH DE number 1138297 (Why is no real title available?)
• Another Constructive Axiomatization of Euclidean Planes
• The simplest axiom system for plane hyperbolic geometry revisited
• Axiomatizations of hyperbolic and absolute geometries
• Aruler and segment-transporter constructive axiomatization of plane hyperbolic geometry
• A system of axioms for hyperbolic planes over Euclidean fields
• Simpler foundations for the hyperbolic plane
• Addenda to: ``The parallel postulate
• Lambert or Saccheri quadrilaterals as single primitive notions for plane hyperbolic geometry

This page was built for publication: Constructive axiomatization of plane hyperbolic geometry

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