Connection structures: Grzegorczyk's and Whitehead's definitions of point
From MaRDI portal
Publication:1355124
DOI10.1305/NDJFL/1039886519zbMATH Open0877.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)
Cites Work
Cited In (17)
- On dimension andweight of a local contact algebra
- FULL MEREOGEOMETRIES
- A complete axiom system for polygonal mereotopology of the real plane
- A comparison of two systems of point-free topology
- Continuity of Motion in Whitehead’s Geometrical Space
- GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS
- A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures
- Full Development of Tarski's Geometry of Solids
- A Proximity Approach to Some Region-Based Theories of Space
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. II
- A study in Grzegorczyk point-free topology. II: Spaces of points
- Regions-based two dimensional continua: The Euclidean case
- Some generalizations of Fedorchuk duality theorem-I
- A generalization of de Vries duality theorem
- A Whiteheadian-type description of Euclidean spaces, spheres, tori and Tychonoff cubes
- Mereotopological connection
This page was built for publication: Connection structures: Grzegorczyk's and Whitehead's definitions of point
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1355124)
