Simpler foundations for the hyperbolic plane
Date
2023
Authors
Bamberg, J.
Penttila, T.
Editors
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Journal article
Citation
Forum Mathematicum, 2023; 35(5):1301-1325
Statement of Responsibility
John Bamberg, Tim Penttila
Conference Name
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.
School/Discipline
Dissertation Note
Provenance
Description
Published Online: 2023-03-03
Access Status
Rights
© 2023 Walter de Gruyter GmbH, Berlin/Boston