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

DOI10.1007/BF03322995zbMATH Open1064.51001arXiv1304.0224OpenAlexW2044291282MaRDI QIDQ1885227FDOQ1885227

Hans Havlicek, Victor V. Pambuccian

Publication date: 28 October 2004

Published in: Results in Mathematics (Search for Journal in Brave)

Abstract: By providing explicit definitions, we show that in both affine and projective geometry of dimension $geq3$, 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.

Full work available at URL: https://arxiv.org/abs/1304.0224

Recommendations

• The fundamental theorems of affine and projective geometry revisited
• Elementary axiomatizations of projective space and of its associated Grassmann space
• scientific article
• A logical reading of the nonexistence of proper homomorphisms between affine spaces
• Partial lineations between arguesian projective spaces

zbMATH Keywords

affine spacesprojective spacesline geometry

Mathematics Subject Classification ID

General theory of linear incidence geometry and projective geometries (51A05) Homomorphism, automorphism and dualities in linear incidence geometry (51A10)

Cites Work

• Title not available (Why is that?)
• On the geometry of algebraic homogeneous spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Isomorphisms of Affine Pl\"ucker Spaces
• Title not available (Why is that?)
• Elementary axiomatizations of projective space and of its associated Grassmann space
• An Axiomatic Line Geometry
• Properties preserved under homomorphism
• Adjacency preserving transformations of Grassmann spaces
• On isomorphisms of Grassmann spaces

Cited In (11)

• Title not available (Why is that?)
• An axiomatic system for affine spaces in terms of points, lines, and planes
• Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry
• Fundamental theorem of geometry without the surjective assumption
• Title not available (Why is that?)
• Coplanarity of lines in projective and polar Grassmann spaces
• Morphisms of projective geometries and semilinear maps
• The ubiquitous axiom
• Metric affine geometry on the universe of lines
• Possible primitive notions for geometry of spine spaces
• A logical reading of the nonexistence of proper homomorphisms between affine spaces

This page was built for publication: On the axiomatics of projective and affine geometry in terms of line intersection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1885227)