Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/137875
Citations | ||
Scopus | Web of Science® | Altmetric |
---|---|---|
?
|
?
|
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Bamberg, J. | - |
dc.contributor.author | Penttila, T. | - |
dc.date.issued | 2023 | - |
dc.identifier.citation | Forum Mathematicum, 2023; 35(5):1301-1325 | - |
dc.identifier.issn | 0933-7741 | - |
dc.identifier.issn | 1435-5337 | - |
dc.identifier.uri | https://hdl.handle.net/2440/137875 | - |
dc.description | Published Online: 2023-03-03 | - |
dc.description.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. | - |
dc.description.statementofresponsibility | John Bamberg, Tim Penttila | - |
dc.language.iso | en | - |
dc.publisher | De Gruyter | - |
dc.rights | © 2023 Walter de Gruyter GmbH, Berlin/Boston | - |
dc.source.uri | http://dx.doi.org/10.1515/forum-2022-0268 | - |
dc.subject | Hyperbolic plane; metric plane; first-order axiomatisation; abstract oval | - |
dc.title | Simpler foundations for the hyperbolic plane | - |
dc.type | Journal article | - |
dc.identifier.doi | 10.1515/forum-2022-0268 | - |
dc.relation.grant | http://purl.org/au-research/grants/arc/FT120100036 | - |
pubs.publication-status | Published | - |
Appears in Collections: | Mathematical Sciences publications |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.