Metric-Affine Configurations in Metric Affine Planes --- Part II

Jolanta Swierzynska

Warsaw University, Bialystok

Bogdan Swierzynski

Warsaw University, Bialystok

Summary.

A continuation of [5]. We introduce more configurational axioms i.e. orthogonalizations of ``scherungssatzes" (direct and indirect), ``Scherungssatz" with orthogonal axes, Pappus axiom with orthogonal axes; we also consider the affine Major Pappus Axiom and affine minor Desargues Axiom. We prove a number of implications which hold between the above axioms.

MML Identifier: CONMETR

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] Henryk Oryszczyszyn and Krzysztof Prazmowski. Classical configurations in affine planes. Journal of Formalized Mathematics, 2, 1990.

[4] Henryk Oryszczyszyn and Krzysztof Prazmowski. Parallelity and lines in affine spaces. Journal of Formalized Mathematics, 2, 1990.

[5] Jolanta Swierzynska and Bogdan Swierzynski. Metric-affine configurations in metric affine planes --- part I. Journal of Formalized Mathematics, 2, 1990.

[6] Zinaida Trybulec. Properties of subsets. Journal of Formalized Mathematics, 1, 1989.