# Zum Stufenaufbau des Parallelenaxioms

```@article{Pambuccian1994ZumSD,
title={Zum Stufenaufbau des Parallelenaxioms},
author={Victor Pambuccian},
journal={Journal of Geometry},
year={1994},
volume={51},
pages={79-88}
}```
Euclid's parallel postulate is shown to be equivalent to the conjunction of the following two weaker postulates: “Any perpendicular to one side of a right angle intersects any perpendicular to the other side” and “For any acute angle Oxy, the segmentPQ — whereP is a point onOx, Q a point onOy andPQ ⊥ Oy — grows indefinitely, i. e. can be made longer than any given segment”.
17 Citations
Another equivalent of the Lotschnittaxiom
We prove that Bachmann’s Lotschnittaxiom, which states that perpendiculars raised on the two legs of a right angle always meet, is equivalent, with respect to Hilbert’s plane absolute geometry, to
On the equivalence of Lagrange’s axiom to the Lotschnittaxiom
We prove that, in Hilbert’s plane absolute geometry, an axiom used by Lagrange in a proof of the Euclidean parallel postulate in a paper read on 3 February 1806 at the Institut de France, which
Splitting the Pasch axiom
On the basis of the theoryε− of Pasch-free 2-dimensional geometry, Pasch's axiom is shown to be equivalent to the conjunction of the following two axioms: “In any right triangle the hypotenuse is
The Ubiquitous Axiom
• Economics
• 2021
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
Lippmann’s axiom and Lebesgue’s axiom are equivalent to the Lotschnittaxiom
• Mathematics
Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry
• 2019
We prove that both Lippmann’s axiom of 1906, stating that for any circle there exists a triangle circumscribing it, and Lebesgue’s axiom of 1936, stating that for every quadrilateral there exists a
On the non-generic Tzitzeica-Johnson's Configuration
• Mathematics
• 2012
Abstract Working in the context of Hilbert's axiomatic system, we prove that the Tzitzeica-Johnson configuration has sense in neutral geometry. The elements of a Tzitzeica-Johnson configuration allow
Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq
• Mathematics
Journal of Automated Reasoning
• 2017
This paper develops a large library in planar neutral geometry, including the formalization of the concept of sum of angles and the proof of the Saccheri–Legendre theorem, which states that assuming Archimedes’ axiom, the sum of the angles in a triangle is at most two right angles.
Metric Geometries in an Axiomatic Perspective
• Mathematics
• 2017
In his 1854 Habilitationsvortrag Riemann presented a new concept of space endowed with a metric of great generality, which, through specification of the metric, gave rise to the spaces of constant
Axiomatizations of Hyperbolic and Absolute Geometries
A survey of finite first-order axiomatizations for hyperbolic and absolute geometries. 1. Hyperbolic Geometry Elementary Hyperbolic Geometry as conceived by Hilbert To axiomatize a geometry one needs
The elementary Archimedean axiom in absolute geometry
Absolute planes in which the elementary Archimedean axiom holds satisfy Aristotle’s axiom. Absolute planes satisfying both the elementary Archimedean axiom and Bachmann’s Lotschnittaxiom are