An axiom system for absolute plane geometry in terms of collinearity and congruence

Thumbnail Image

Date

2024

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

We present an axiom system in terms of collinearity and congruence for plane geometry independent of assumptions about parallels. The line reflections and motions of corresponding geometries are studied, and it is shown that the axiom system characterizes the non-elliptic metric planes in the sense of Bachmann with midpoints. If the hyperbolic axiom is added, we show that the familiar algebraic models of hyperbolic planes result.

Description

Keywords

Citation

Endorsement

Review

Supplemented By

Referenced By

Creative Commons license

Except where otherwised noted, this item's license is described as CC BY