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

DOI10.1007/S13366-019-00445-YzbMATH1429.51004OpenAlexW2941826185WikidataQ114017089MaRDI QIDQ2334485FDOQ2334485

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 geometryLotschnittaxiomhyperbolic parallel postulate

Mathematics Subject Classification ID

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

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

• 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?)
• 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.
• 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

(8)

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

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)