Journal of Formalized Mathematics
Volume 2, 1990
University of Bialystok
Copyright (c) 1990 Association of Mizar Users

Metric-Affine Configurations in Metric Affine Planes --- Part I


Jolanta Swierzynska
Warsaw University, Bialystok
Bogdan Swierzynski
Warsaw University, Bialystok

Summary.

We introduce several configurational axioms for metric affine planes such as theorem on three perpendiculars, orthogonalization of major Desargues Axiom, orthogonalization of the trapezium variant of Desargues Axiom, axiom on parallel projection together with its indirect forms. For convenience we also consider affine Major Desargues Axiom. The aim is to prove logical relationships which hold between the introduced statements.

MML Identifier: CONAFFM

The terminology and notation used in this paper have been introduced in the following articles [3] [2] [1]

Contents (PDF format)

Bibliography

[1] Henryk Oryszczyszyn and Krzysztof Prazmowski. Analytical metric affine spaces and planes. Journal of Formalized Mathematics, 2, 1990.
[2] Henryk Oryszczyszyn and Krzysztof Prazmowski. Analytical ordered affine spaces. Journal of Formalized Mathematics, 2, 1990.
[3] Zinaida Trybulec. Properties of subsets. Journal of Formalized Mathematics, 1, 1989.

Received October 31, 1990


[ Download a postscript version, MML identifier index, Mizar home page]