Elementary axiomatizations of projective space and of its associated Grassmann space


It is pointed out that the axiomatizations of projective geometry by means of point-line incidence, or by means of line-intersection, and that of the Grassmann space of the lines in a projective space are mutually translatable, so that one can obtain an axiomatization of any of these theories from the other, which in particular allows us to elementarily axiomatize the Grassmann space represeting the lines of a projective space, a subject which has been extensively studied since 1981, when Tallini provided a non-elementary characterization for it.

DOI Code: 10.1285/i15900932v24n1p129

Keywords: Projective geometry; Grassmann space; First-order axiomatization; Mutual interpretability

Classification: 51A05; 51M35; 03B30

Full Text: PDF

Creative Commons License
This work is licensed under a Creative Commons Attribuzione - Non commerciale - Non opere derivate 3.0 Italia License.