On the axiomatics of projective and affine geometry in terms of line intersection

Abstract

By providing explicit definitions, we show that in both affine and projective geometry of dimension $\ge 3$, considered as first-order theories axiomatized in terms of lines as the only variables, and the binary line-intersection predicate as primitive notion, non-intersection of two lines can be positively defined in terms of line-intersection.

References in corpus (1)

• Isomorphisms of Affine Plücker Spaces