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

DOI10.1007/BF03322995MaRDI QIDQ1885227zbMATH OpenOpenAlexFDO

Authors Hans Havlicek, Victor V. Pambuccian

Publication date 28 October 2004

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

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

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)

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.

Recommendations

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

Cites work

• scientific article; zbMATH DE number 3160705 (Why is no real title available?)
• scientific article; zbMATH DE number 4094260 (Why is no real title available?)
• scientific article; zbMATH DE number 4107566 (Why is no real title available?)
• scientific article; zbMATH DE number 913935 (Why is no real title available?)
• Adjacency preserving transformations of Grassmann spaces
• An Axiomatic Line Geometry
• Elementary axiomatizations of projective space and of its associated Grassmann space
• Isomorphisms of Affine Pl\"ucker Spaces
• On isomorphisms of Grassmann spaces
• On the geometry of algebraic homogeneous spaces
• Properties preserved under homomorphism

Cited in

(12)

• An axiomatic system for affine spaces in terms of points, lines, and planes
• scientific article; zbMATH DE number 2148638 (Why is no real title available?)
• Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry
• Fundamental theorem of geometry without the surjective assumption
• scientific article; zbMATH DE number 4094260 (Why is no real title available?)
• 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
• Chow's theorem for linear 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)