A comparison of two systems of point-free topology

DOI10.18778/0138-0680.47.3.04zbMATH Open1437.03048OpenAlexW2940754560WikidataQ127999735 ScholiaQ127999735MaRDI QIDQ4629293FDOQ4629293

Authors: Rafał Gruszczyński, Andrzej Pietruszczak 

Publication date: 21 March 2019

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.47.3.04

Recommendations

• A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures
• Spatiality for formal topologies
• Space, points and mereology. On foundations of point-free Euclidean geometry
• Point-free foundation of geometry and multivalued logic
• Notes on Point-Free Topology

zbMATH Keywords

point-free topologymereologyregion-based topologyfoundations of topologymereological structuresGrzegorczyk structuresconnection structuresBiacino-Gerla structuresseparation structures

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Topological spaces and generalizations (closure spaces, etc.) (54A05)

Cites Work

• Connection structures: Grzegorczyk's and Whitehead's definitions of point
• Axiomatizability of geometry without points
• A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures
• Space, points and mereology. On foundations of point-free Euclidean geometry

Cited In (1)

• GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS

This page was built for publication: A comparison of two systems of point-free topology

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