Axiomatizability of geometry without points
From MaRDI portal
Publication:2540886
DOI10.1007/BF00485101zbMath0201.32104MaRDI QIDQ2540886
Publication date: 1960
Published in: Synthese (Search for Journal in Brave)
Related Items
Particle-free bodies and point-free spaces, Connection structures: Grzegorczyk's and Whitehead's definitions of point, GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS, From contact relations to modal operators, and back, A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I, Mereotopological connection, Mereology then and now, Regions-based two dimensional continua: The Euclidean case, A comparison of two systems of point-free topology, Continuity of Motion in Whitehead’s Geometrical Space, The Relations of Supremum and Mereological Sum in Partially Ordered Sets, Relational representation theorems for extended contact algebras, A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures, Relation algebras and their application in temporal and spatial reasoning, A calculus of regions respecting both measure and topology, FULL MEREOGEOMETRIES, Dynamic logics of the region-based theory of discrete spaces, A Proximity Approach to Some Region-Based Theories of Space, A study in Grzegorczyk point-free topology. II: Spaces of points, Contact join-semilattices, Full Development of Tarski's Geometry of Solids
