We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
A Study in Grzegorczyk Point-Free Topology Part I: Separation and Grzegorczyk Structures.
- Authors
Gruszczyński, Rafał; Pietruszczak, Andrzej
- Abstract
This is the first, out of two papers, devoted to Andrzej Grzegorczyk’s point-free system of topology from Grzegorczyk (Synthese 12(2-3):228-235, 1960. 10.1007/BF00485101). His system was one of the very first fully fledged axiomatizations of topology based on the notions of region, parthood and separation (the dual notion of connection). Its peculiar and interesting feature is the definition of point, whose intention is to grasp our geometrical intuitions of points as systems of shrinking regions of space. In this part we analyze (quasi-)separation structures and Grzegorczyk structures, and establish their properties which will be useful in the sequel. We prove that in the class of Urysohn spaces with countable chain condition, to every topologically interpreted representative of a point in the sense of Grzegorczyk’s corresponds exactly one point of a space. We also demonstrate that Tychonoff first-countable spaces give rise to complete Grzegorczyk structures. The results established below will be used in the second part devoted to points and topological spaces.
- Publication
Studia Logica, 2018, Vol 106, Issue 6, p1197
- ISSN
0039-3215
- Publication type
Article
- DOI
10.1007/s11225-018-9786-8