On Projections in Projective Planes --- Part II

Eugeniusz Kusak

Warsaw University, Bialystok

Wojciech Leonczuk

Warsaw University, Bialystok

Krzysztof Prazmowski

Warsaw University, Bialystok

Summary.

We study in greater details projectivities on Desarguesian projective planes. We are particularly interested in the situation when the composition of given two projectivities can be replaced by another two, with given axis or centre of one of them.

Supported by RPBP.III-24.C6.

MML Identifier: PROJRED2

Contents (PDF format)

Bibliography

[1] Czeslaw Bylinski. Functions and their basic properties. Journal of Formalized Mathematics, 1, 1989.

[2] Eugeniusz Kusak and Wojciech Leonczuk. Incidence projective space (a reduction theorem in a plane). Journal of Formalized Mathematics, 2, 1990.

[3] Wojciech Leonczuk and Krzysztof Prazmowski. Incidence projective spaces. Journal of Formalized Mathematics, 2, 1990.

[4] Andrzej Trybulec. Tarski Grothendieck set theory. Journal of Formalized Mathematics, Axiomatics, 1989.

[5] Wojciech A. Trybulec. Axioms of incidency. Journal of Formalized Mathematics, 1, 1989.

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

[7] Edmund Woronowicz. Relations and their basic properties. Journal of Formalized Mathematics, 1, 1989.

[8] Edmund Woronowicz. Relations defined on sets. Journal of Formalized Mathematics, 1, 1989.