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

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.