Connection structures: Grzegorczyk's and Whitehead's definitions of point

DOI10.1305/ndjfl/1039886519zbMath0877.51006OpenAlexW1989040428MaRDI QIDQ1355124

Giangiacomo Gerla, Loredana Biacino

Publication date: 18 November 1997

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

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

zbMATH Keywords

definitions of pointFJM 55.0035.03

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Foundations of classical theories (including reverse mathematics) (03B30) Linear incidence geometry (51A99)

Related Items (16)

On dimension andweight of a local contact algebra ⋮ GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS ⋮ A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. II ⋮ Mereotopological connection ⋮ 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 ⋮ A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures ⋮ FULL MEREOGEOMETRIES ⋮ Some generalizations of Fedorchuk duality theorem-I ⋮ A complete axiom system for polygonal mereotopology of the real plane ⋮ A Proximity Approach to Some Region-Based Theories of Space ⋮ A generalization of de Vries duality theorem ⋮ A study in Grzegorczyk point-free topology. II: Spaces of points ⋮ Boolean connection algebras: A new approach to the Region-Connection Calculus ⋮ Full Development of Tarski's Geometry of Solids

Cites Work

• Unnamed Item
• Individuals and points
• A calculus of individuals based on 'connection'
• Connection structures
• Axiomatizability of geometry without points

This page was built for publication: Connection structures: Grzegorczyk's and Whitehead's definitions of point