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

DOI10.1007/S13366-019-00445-YzbMATH Open1429.51004OpenAlexW2941826185WikidataQ114017089 ScholiaQ114017089MaRDI 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

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

zbMATH Keywords

absolute geometryLotschnittaxiomhyperbolic parallel postulate

Mathematics Subject Classification ID

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

Cites Work

• The axiomatics of ordered geometry: I. Ordered incidence spaces
• On the stepwise construction of the parallel postulate
• Title not available (Why is that?)
• On the existence of a equilateral triangle in \(H\)-planes
• Über die Kreisaxiome
• Title not available (Why is that?)
• 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
• Zur Parallelenfrage
• Another equivalent of the Lotschnittaxiom
• Title not available (Why is that?)
• Brouwer and Euclid
• Conversations with Jules Hoüel. Contemplations on non-Euclidean geometry and infinitesimal analysis until 1875
• Title not available (Why is that?)
• Title not available (Why is that?)
• Pfister's Dimension and the Level of Fields.

Cited In (8)

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