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

Affine Localizations of Desargues Axiom


Eugeniusz Kusak
Warsaw University, Bialystok
Henryk Oryszczyszyn
Warsaw University, Bialystok
Krzysztof Prazmowski
Warsaw University, Bialystok

Summary.

Several affine localizations of Major Desargues Axiom together with its indirect forms are introduced. Logical relationships between these formulas and between them and the classical Desargues Axiom are demonstrated.

Supported by RPBP.III-24.C2.

MML Identifier: AFF_3

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

Contents (PDF format)

Bibliography

[1] Henryk Oryszczyszyn and Krzysztof Prazmowski. Analytical ordered affine spaces. Journal of Formalized Mathematics, 2, 1990.
[2] Henryk Oryszczyszyn and Krzysztof Prazmowski. Classical configurations in affine planes. Journal of Formalized Mathematics, 2, 1990.
[3] Henryk Oryszczyszyn and Krzysztof Prazmowski. Ordered affine spaces defined in terms of directed parallelity --- part I. Journal of Formalized Mathematics, 2, 1990.
[4] Henryk Oryszczyszyn and Krzysztof Prazmowski. Parallelity and lines in affine spaces. Journal of Formalized Mathematics, 2, 1990.

Received April 26, 1990

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