A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures
DOI10.1007/S11225-018-9786-8zbMATH Open1437.03049OpenAlexW2794130743WikidataQ130206883 ScholiaQ130206883MaRDI QIDQ1756598FDOQ1756598
Authors: 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
Recommendations
point-free topologymereologyregion-based topologyfoundations of topologymereological fieldsmereological structures
Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15)
Cites Work
- The calculus of individuals and its uses
- Pieces of mereology
- Title not available (Why is that?)
- Title not available (Why is that?)
- A representation theorem for Boolean contact algebras
- Region-based theory of space: algebras of regions, representation theory, and logics
- Region-based topology
- Connection structures: Grzegorczyk's and Whitehead's definitions of point
- Axiomatizability of geometry without points
- Classical mereology is not elementarily axiomatizable
- The relations of supremum and mereological sum in partially ordered sets
- Space, points and mereology. On foundations of point-free Euclidean geometry
Cited In (5)
Uses Software
This page was built for publication: A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1756598)
