The elementary Archimedean axiom in absolute geometry (Q2278151): Difference between revisions

The author studies absolute plane geometry. He discusses a number of axioms for plane geometry and investigates their relations. He works inside Tarski's first-order language. He investigates consequences of the elementary Archimedean axiom introduced by \textit{W. Rautenberg} [Z. Math. Logik Grundlagen Math. 13, 329--366 (1967; Zbl 0207.29604); Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 16, 837--843 (1968; Zbl 0169.30504)], which is a much weaker elementary form of the Archimedean axiom. He observes that this is in fact an axiom schema \(\Sigma_{ar}\). The main result that the author obtains is, that when \(\Sigma_{ar}\) is added to Hilbert's plane absolute geometry \(\mathcal{A}\), then the sum of the angles of any triangle is \(\leq 2 \pi\), Aristotle's axiom holds, and it renders Bachmann's Lotschnittaxiom equivalent to the Euclidean parallel postulate.