Connection structures: Grzegorczyk's and Whitehead's definitions of point
From MaRDI portal
Publication:1355124
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
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
This page was built for publication: Connection structures: Grzegorczyk's and Whitehead's definitions of point
