Fanoian, Pappian and Desarguesian Affine Spaces

Krzysztof Prazmowski

Warsaw University, Bialystok

Supported by RPBP.III-24.C2.

Summary.

We introduce basic types of affine spaces such as Desarguesian, Fanoian, Pappian, and translation affine and ordered affine sapces and we prove that suitably choosen analytically defined affine structures satisfy the required properties.

MML Identifier: PAPDESAF

Contents (PDF format)

Bibliography

[1] Jozef Bialas. Group and field definitions. Journal of Formalized Mathematics, 1, 1989.

[2] Krzysztof Hryniewiecki. Basic properties of real numbers. Journal of Formalized Mathematics, 1, 1989.

[3] Henryk Oryszczyszyn and Krzysztof Prazmowski. Analytical ordered affine spaces. Journal of Formalized Mathematics, 2, 1990.

[4] Henryk Oryszczyszyn and Krzysztof Prazmowski. Classical configurations in affine planes. Journal of Formalized Mathematics, 2, 1990.

[5] Henryk Oryszczyszyn and Krzysztof Prazmowski. A construction of analytical ordered trapezium spaces. Journal of Formalized Mathematics, 2, 1990.

[6] Henryk Oryszczyszyn and Krzysztof Prazmowski. Ordered affine spaces defined in terms of directed parallelity --- part I. Journal of Formalized Mathematics, 2, 1990.

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

[8] Henryk Oryszczyszyn and Krzysztof Prazmowski. Translations in affine planes. Journal of Formalized Mathematics, 2, 1990.

[9] Wojciech A. Trybulec. Vectors in real linear space. Journal of Formalized Mathematics, 1, 1989.

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