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

DOI10.1007/S11225-018-9786-8MaRDI QIDQ1756598zbMATH OpenOpenAlexWikidataFDO

Authors Rafał Gruszczyński, Andrzej Pietruszczak

Publication date 21 December 2018

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

point-free topologymereologyregion-based topologyfoundations of topologymereological fieldsmereological structures

Mathematics Subject Classification ID

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)

Recommendations

• A comparison of two systems of point-free topology
• Separation in point-free topology
• Space, points and mereology. On foundations of point-free Euclidean geometry
• Connection structures: Grzegorczyk's and Whitehead's definitions of point
• Region-based topology

Cites work

• scientific article; zbMATH DE number 3600759 (Why is no real title available?)
• scientific article; zbMATH DE number 3450200 (Why is no real title available?)
• A representation theorem for Boolean contact algebras
• Axiomatizability of geometry without points
• Classical mereology is not elementarily axiomatizable
• Connection structures: Grzegorczyk's and Whitehead's definitions of point
• Pieces of mereology
• Region-based theory of space: algebras of regions, representation theory, and logics
• Region-based topology
• Space, points and mereology. On foundations of point-free Euclidean geometry
• The calculus of individuals and its uses
• The relations of supremum and mereological sum in partially ordered sets

Cited in

(5)

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

Describes a project that uses

Uses Software

• MathOverflow

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)