GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS
DOI10.1017/S1755020321000459OpenAlexW3204411410WikidataQ131341340 ScholiaQ131341340MaRDI QIDQ6041348FDOQ6041348
Authors: Rafał Gruszczyński, Andrzej Pietruszczak
Publication date: 26 May 2023
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1755020321000459
point-free topologyultrafilterscompactificationsregion-based topologyBoolean contact algebrasFréchet filterround filterslob-spacesconcentric topological spacesGrzegorczyk contact algebrasGrzegorczyk points
Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Logical aspects of Boolean algebras (03G05) Stone spaces (Boolean spaces) and related structures (06E15)
Cites Work
- Title not available (Why is that?)
- The Theory of Representation for Boolean Algebras
- Minimally generated Boolean algebras
- Title not available (Why is that?)
- A representation theorem for Boolean contact algebras
- Title not available (Why is that?)
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- Title not available (Why is that?)
- Connection structures: Grzegorczyk's and Whitehead's definitions of point
- Axiomatizability of geometry without points
- Relational Methods in Computer Science
- A study in Grzegorczyk point-free topology. II: Spaces of points
- Title not available (Why is that?)
- A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures
- Space, points and mereology. On foundations of point-free Euclidean geometry
- Title not available (Why is that?)
- A comparison of two systems of point-free topology
This page was built for publication: GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6041348)