A comparison of two systems of point-free topology

DOI10.18778/0138-0680.47.3.04MaRDI QIDQ4629293zbMATH OpenOpenAlexWikidataFDO

Authors Rafał Gruszczyński, Andrzej Pietruszczak

Publication date 21 March 2019

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

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)

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

Cites work

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

Cited in

(3)

• A study in Grzegorczyk point-free topology. II: Spaces of points
• GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS
• A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures

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)