GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS

DOI10.1017/s1755020321000459OpenAlexW3204411410MaRDI QIDQ6041348

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

zbMATH Keywords

compactificationsultrafilterspoint-free topologyFréchet filterregion-based topologyBoolean contact algebrasround filterslob-spacesconcentric topological spacesGrzegorczyk contact algebrasGrzegorczyk points

Mathematics Subject Classification ID

Stone spaces (Boolean spaces) and related structures (06E15) Logical aspects of Boolean algebras (03G05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Cites Work

• Minimally generated Boolean algebras
• Connection structures: Grzegorczyk's and Whitehead's definitions of point
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures
• A study in Grzegorczyk point-free topology. II: Spaces of points
• Axiomatizability of geometry without points
• A representation theorem for Boolean contact algebras
• A comparison of two systems of point-free topology
• The Theory of Representation for Boolean Algebras
• Relational Methods in Computer Science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS