The elementary Archimedean axiom in absolute geometry

DOI10.1007/S00022-019-0507-XMaRDI QIDQ2278151zbMATH OpenOpenAlexWikidataFDO

Authors Victor V. Pambuccian

Publication date 9 December 2019

Published in Journal of Geometry (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00022-019-0507-x

zbMATH Keywords

absolute plane geometryAristotle's axiomelementary Archimedean axiomEuclidean parallel postulateLotschnittaxiom

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Absolute planes in metric geometry (51F05)

Review text

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.

Recommendations

• The ubiquitous axiom
• On the stepwise construction of the parallel postulate
• Another equivalent of the Lotschnittaxiom
• Aristotle's axiom in the foundations of geometry
• The equivalence of side-angle-side with side-side-side and the general triangle inequality in the absolute plane

Cites work

• Another equivalent of the Lotschnittaxiom
• Aristotle's axiom in the foundations of geometry
• Die Modelle des Hilbertschen Axiomensystems der absoluten Geometrie
• scientific article; zbMATH DE number 3899653 (Why is no real title available?)
• scientific article; zbMATH DE number 5203535 (Why is no real title available?)
• scientific article; zbMATH DE number 3255376 (Why is no real title available?)
• scientific article; zbMATH DE number 3271483 (Why is no real title available?)
• scientific article; zbMATH DE number 3329884 (Why is no real title available?)
• Lippmann's axiom and Lebesgue's axiom are equivalent to the Lotschnittaxiom
• On the equivalence of Lagrange's axiom to the Lotschnittaxiom
• On the stepwise construction of the parallel postulate
• Zur Parallelenfrage

Cited in

(13)

• On M. T. Calapso's characterization of the metric of an absolute plane
• Archimedisierung absoluter Ebenen. (Construction of archimedean absolute planes)
• Aristotle's axiom in the foundations of geometry
• On the existence of a equilateral triangle in \(H\)-planes
• On the stepwise construction of the parallel postulate
• The ubiquitous axiom
• Lippmann's axiom and Lebesgue's axiom are equivalent to the Lotschnittaxiom
• scientific article; zbMATH DE number 720249 (Why is no real title available?)
• scientific article; zbMATH DE number 2206021 (Why is no real title available?)
• A further simplification of Tarski's axioms of geometry
• The parallel postulate
• Axioms of elementary geometry and the Greek theorems
• Simple forms of Aristotle's axiom and of the \textit{Lotschnittaxiom}

This page was built for publication: The elementary Archimedean axiom in absolute geometry

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