Affine geometry having a solid as primitive

DOI10.1305/NDJFL/1093894150MaRDI QIDQ2534162zbMATH OpenOpenAlexFDO

Authors Theodore F. Sullivan

Publication date 1971

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093894150

zbMATH Keywords

axiom systemclass of affine geometriesLegniewski's mereologyparallelepipedpoint-class

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30)

Review text

In this paper an axiom system based on Legniewski's mereology and the primitive term parallelepiped is given for the class of affine geometries isomorphic to finite dimensional vector spaces over an ordered field. A definition of point-class and a relation of between among point classes is given. Then a bijective correspondence is developed between point-classes and points in ordinary affine geometry which is shown to be an isomorphism between our system and ordinary affine geometry.

Recommendations

• scientific article; zbMATH DE number 3901538
• scientific article; zbMATH DE number 68148
• scientific article; zbMATH DE number 742804
• Minimal foundations of geometry
• An axiomatic system for affine spaces in terms of points, lines, and planes

Cited in

(4)

• Particle-free bodies and point-free spaces
• Spheres, cubes and simplexes in mereogeometry
• scientific article; zbMATH DE number 7475447 (Why is no real title available?)
• A physical Archimedean approach to affine geometry and the remarkable 13 (mixed) configuration

This page was built for publication: Affine geometry having a solid as primitive

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