Simpler foundations for the hyperbolic plane

DOI10.1515/FORUM-2022-0268MaRDI QIDQ6073705zbMATH OpenFDO

Authors John Bamberg, Tim Penttila

Publication date 18 September 2023

Published in Forum Mathematicum (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2209.05933

zbMATH Keywords

abstract ovalfirst-order axiomatisationhyperbolic planemetric plane

Mathematics Subject Classification ID

Configuration theorems in linear incidence geometry (51A20) Desarguesian and Pappian geometries (51A30) Incidence structures embeddable into projective geometries (51A45) Ordered geometries (ordered incidence structures, etc.) (51G05) Hyperbolic and elliptic geometries (general) and generalizations (51M10)

Abstract: H. L. Skala (1992) gave the first elegant first-order axiom system for hyperbolic geometry by replacing Menger's axiom involving projectivities with the theorems of Pappus and Desargues for the hyperbolic plane. In so doing, Skala showed that hyperbolic geometry is incidence geometry. We improve upon Skala's formulation by doing away with Pappus and Desargues altogether, by substituting for them two simpler axioms.

Recommendations

• Projective-type axioms for the hyperbolic plane
• The simplest axiom system for plane hyperbolic geometry revisited
• Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity
• The simplest axiom system for plane hyperbolic geometry
• The simplest axiom system for hyperbolic geometry revisited, again

Cites work

• Axiomatizations of hyperbolic and absolute geometries
• Constructive axiomatization of plane hyperbolic geometry
• Eine Begründung der hyperbolischen Geometrie
• Groups and plane geometry
• scientific article; zbMATH DE number 3653078 (Why is no real title available?)
• scientific article; zbMATH DE number 44176 (Why is no real title available?)
• scientific article; zbMATH DE number 3250215 (Why is no real title available?)
• scientific article; zbMATH DE number 3376311 (Why is no real title available?)
• scientific article; zbMATH DE number 3401716 (Why is no real title available?)
• scientific article; zbMATH DE number 3053515 (Why is no real title available?)
• scientific article; zbMATH DE number 3097928 (Why is no real title available?)
• scientific article; zbMATH DE number 3097929 (Why is no real title available?)
• scientific article; zbMATH DE number 3097931 (Why is no real title available?)
• scientific article; zbMATH DE number 3097932 (Why is no real title available?)
• Notes on infinite permutation groups
• On abstract ovals with Pascalian secant lines
• Pascal Ovals in Projective Planes
• Projective-type axioms for the hyperbolic plane
• The axiomatics of ordered geometry: I. Ordered incidence spaces
• The calculus of reflections and the order relation in hyperbolic geometry
• The elementary geometry of a triangular world with hexagonal circles

Cited in

(3)

• The calculus of reflections and the order relation in hyperbolic geometry
• The simplest axiom system for hyperbolic geometry revisited, again
• The complexity of plane hyperbolic incidence geometry is ????

This page was built for publication: Simpler foundations for the hyperbolic plane

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