Incidence Projective Spaces

Wojciech Leonczuk

Warsaw University, Bialystok

Supported by RPBP.III-24.C6.

Krzysztof Prazmowski

Warsaw University, Bialystok

Supported by RPBP.III-24.C2.

Summary.

A basis for investigations on incidence projective spaces. With every projective space defined in terms of collinearity relation we associate the incidence structure consisting of points and of lines of the given space. We introduce general notion of projective space defined in terms of incidence and define several properties of such structures (like satisfability of the Desargues Axiom or conditions on the dimension).

MML Identifier: INCPROJ

Contents (PDF format)

Bibliography

[1] Czeslaw Bylinski. Some basic properties of sets. Journal of Formalized Mathematics, 1, 1989.

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

[3] Wojciech Skaba. The collinearity structure. 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 defined on sets. Journal of Formalized Mathematics, 1, 1989.