Abstract
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 greater than the leg” and “If ∠AOB is right, B lies between O and C, and D is the footpoint of the perpendicular from B to AC, then the segment OA is greater than the segment BD.” This represents an attempt to split the Pasch axiom with respect toε −. Only the question whether the second of the above two axioms is really weaker than Pasch's axiom, remains open.
Similar content being viewed by others
References
H. S. M. Coxeter,Introduction to geometry, Wiley, New York, 1989.
H. N. Gupta, A. Prestel, On a class of Pasch-free Euclidean planes,Bull. Acad. Polon. Sci. Sér. Sci. Math. Astron. Phys. 20 (1972), 17–23.
V. Pambuccian, Zum Stufenaufbau des Parallelenaxioms,J. Geom. 51 (1994), 79–88.
A. Prestel, Euklidische Geometrie ohne das Axiom von Pasch,Abh. Math. Sem. Univ. Hamburg 41 (1974), 82–109.
A. Prestel,Lectures on formally real fields, Lecture Notes in Mathematics, vol. 1093, Springer-Verlag, Berlin, 1983.
L. W. Szczerba, Independence of Pasch's axiom,Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 18 (1970), 491–498.
L. W. Szczerba, W. Szmielew, On the Euclidean geometry without the Pasch axiom,Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 18 (1970), 659–666.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Pambuccian, V. Splitting the Pasch axiom. J Geom 56, 126–130 (1996). https://doi.org/10.1007/BF01222689
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01222689