Elementary axiomatizations of projective space and of its associated Grassmann space

Authors

  • Victor Pambuccian

DOI:

https://doi.org/10.1285/i15900932v24n1p129

Keywords:

Projective geometry, Grassmann space, First-order axiomatization, Mutual interpretability

Abstract

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.

Downloads

Published

25-10-2005

Issue

Volume 24, Issue 1 (2005)

Section

Articoli

License

Authors who publish with this publication accept all the terms and conditions of the Creative Commons license at the link below.

Gli autori che pubblicano in questa rivista accettano i termini e le condizioni specificate nella licenza Creative Commons di cui al link sottostante.

http://creativecommons.org/licenses/by-nc-nd/3.0/it/legalcode