Journal of Formalized Mathematics
Volume 2, 1990
University of Bialystok
Copyright (c) 1990
Association of Mizar Users
MetricAffine 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
The terminology and notation used in this paper have been
introduced in the following articles
[6]
[2]
[4]
[1]
[3]
[5]
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.
Metricaffine 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.
Received October 31, 1990
[
Download a postscript version,
MML identifier index,
Mizar home page]