A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures

DOI10.1007/s11225-018-9786-8zbMath1437.03049OpenAlexW2794130743MaRDI QIDQ1756598

Rafał Gruszczyński, Andrzej Pietruszczak

Publication date: 21 December 2018

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-018-9786-8

zbMATH Keywords

mereologypoint-free topologyregion-based topologyfoundations of topologymereological fieldsmereological structures

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (4)

GRZEGORCZYK POINTS AND FILTERS IN BOOLEAN CONTACT ALGEBRAS ⋮ A comparison of two systems of point-free topology ⋮ A study in Grzegorczyk point-free topology. II: Spaces of points ⋮ Contact join-semilattices

Uses Software

• MathOverflow

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Connection structures: Grzegorczyk's and Whitehead's definitions of point
• Region-based topology
• Axiomatizability of geometry without points
• A representation theorem for Boolean contact algebras
• Classical mereology is not elementarily axiomatizable
• The Relations of Supremum and Mereological Sum in Partially Ordered Sets
• Pieces of mereology
• The calculus of individuals and its uses

This page was built for publication: A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures