Lippmann's axiom and Lebesgue's axiom are equivalent to the Lotschnittaxiom

DOI10.1007/S13366-019-00445-YMaRDI QIDQ2334485zbMATH OpenOpenAlexWikidataFDO

Authors Victor V. Pambuccian, Celia M. Schacht

Publication date 7 November 2019

Published in Beiträge zur Algebra und Geometrie (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s13366-019-00445-y

zbMATH Keywords

absolute geometryhyperbolic parallel postulateLotschnittaxiom

Mathematics Subject Classification ID

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

Review text

The authors state several axioms such as Lippmann's axiom (1906): ``for any circle there exists a triangle circumscribing it or Bachmann's Lotschnittaxiom (1964): ``every quadrilateral with three right angles closes. They provide detailed proofs for the equivalence of all of the listed axioms over Hilbert's plane absolute geometry \(\mathcal{A}\), report extensively on the history of the subject, and include references to the literature. They also show that, in the presence of the circle axiom, the statement ``There is an angle such that the perpendiculars raised on its legs at equal distances from the vertex meet is equivalent to the negation of Hilbert's hyperbolic parallel postulate.

Recommendations

• The ubiquitous axiom
• On the equivalence of Lagrange's axiom to the Lotschnittaxiom
• Another equivalent of the Lotschnittaxiom
• Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq
• The elementary Archimedean axiom in absolute geometry

Cites work

• Another equivalent of the Lotschnittaxiom
• Brouwer and Euclid
• Conversations with Jules Hoüel. Contemplations on non-Euclidean geometry and infinitesimal analysis until 1875
• Die Modelle des Hilbertschen Axiomensystems der absoluten Geometrie
• Euklidische Körper und euklidische Hüllen von Körpern.
• scientific article; zbMATH DE number 6007782 (Why is no real title available?)
• scientific article; zbMATH DE number 5143477 (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 3023837 (Why is no real title available?)
• On the equivalence of Lagrange's axiom to the Lotschnittaxiom
• On the existence of a equilateral triangle in \(H\)-planes
• On the stepwise construction of the parallel postulate
• Pfister's Dimension and the Level of Fields.
• The axiomatics of ordered geometry: I. Ordered incidence spaces
• Zur Parallelenfrage
• Über die Kreisaxiome

Cited in

(9)

• The ubiquitous axiom
• The elementary Archimedean axiom in absolute geometry
• Two remarks on ordering in absolute planes
• On the equivalence of Lagrange's axiom to the Lotschnittaxiom
• Another equivalent of the Lotschnittaxiom
• A further simplification of Tarski's axioms of geometry
• Equilateral triangles have minimal area and perimeter among all triangles containing a given circle in Hilbert planes
• The parallel postulate
• The case for absolute geometry

This page was built for publication: Lippmann's axiom and Lebesgue's axiom are equivalent to the Lotschnittaxiom

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