McKinsey-Tarski algebras: an alternative pointfree approach to topology

DOI10.1016/j.topol.2023.108689zbMath1525.18013arXiv2306.13715OpenAlexW4386813804MaRDI QIDQ6057676

Ranjitha Raviprakash, Guram Bezhanishvili

Publication date: 5 October 2023

Published in: Topology and its Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2306.13715

zbMATH Keywords

framesduality theorytopological spacesseparation axiomsinterior algebras

Mathematics Subject Classification ID

Frames, locales (06D22) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Categories of topological spaces and continuous mappings (18F60) Frames and locales, pointfree topology, Stone duality (18F70)

Cites Work

• Funayama's theorem revisited
• Raney algebras and duality for \(T_0\)-spaces
• The algebra of topology
• On closed elements in closure algebras
• Frames and Locales
• Introduction to Boolean Algebras
• Separation in Point-Free Topology
• Some theorems about the sentential calculi of Lewis and Heyting
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: McKinsey-Tarski algebras: an alternative pointfree approach to topology