GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS

DOI10.1017/S1755020321000459MaRDI QIDQ6041348zbMATH OpenOpenAlexWikidataFDO

Authors Rafał Gruszczyński, Andrzej Pietruszczak

Publication date 26 May 2023

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/s1755020321000459

zbMATH Keywords

point-free topologyultrafilterscompactificationsregion-based topologyBoolean contact algebrasFréchet filterround filterslob-spacesconcentric topological spacesGrzegorczyk contact algebrasGrzegorczyk points

Mathematics Subject Classification ID

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

• scientific article; zbMATH DE number 3642294 (Why is no real title available?)
• scientific article; zbMATH DE number 5117074 (Why is no real title available?)
• scientific article; zbMATH DE number 5117075 (Why is no real title available?)
• scientific article; zbMATH DE number 3581219 (Why is no real title available?)
• scientific article; zbMATH DE number 3450200 (Why is no real title available?)
• scientific article; zbMATH DE number 2202279 (Why is no real title available?)
• A comparison of two systems of point-free topology
• A representation theorem for Boolean contact algebras
• 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
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Connection structures: Grzegorczyk's and Whitehead's definitions of point
• Minimally generated Boolean algebras
• Relational Methods in Computer Science
• Space, points and mereology. On foundations of point-free Euclidean geometry
• The Theory of Representation for Boolean Algebras

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)