The Ubiquitous Axiom

Victor Pambuccian, Celia Schacht

Research output: Contribution to journalArticlepeer-review

Abstract

This paper starts with a survey of what is known regarding an axiom, referred to as the Lotschnittaxiom, stating that the perpendiculars to the sides of a right angle intersect. Several statements are presented that turn out to rather unexpectedly be equivalent, with plane absolute geometry without the Archimedean axiom as a background, to the Lotschnittaxiom. One natural statement is shown to be strictly weaker than the Lotschnittaxiom, creating a chain of four statements, starting with the Euclidean parallel postulate, each weaker than the previous one. It then moves on to provide surprising equivalents, expressed as pure incidence statements, for both the Lotschnittaxiom and Aristotle’s axiom, whose conjunction is equivalent to the Euclidean parallel postulate. The new incidence-geometric axioms are shown to be syntactically simplest.

Original languageEnglish (US)
Article number114
JournalResults in Mathematics
Volume76
Issue number3
DOIs
StatePublished - Aug 2021

Keywords

  • Aristotle’s axiom
  • Euclidean parallel postulate
  • incidence geometry
  • Lotschnittaxiom
  • plane absolute geometry

ASJC Scopus subject areas

  • Mathematics (miscellaneous)
  • Applied Mathematics

Fingerprint

Dive into the research topics of 'The Ubiquitous Axiom'. Together they form a unique fingerprint.

Cite this