In the second installment to Gruszczyński and Pietruszczak (Stud Log, 2018. https://doi.org/10.1007/s11225-018-9786-8) we carry out an analysis of spaces of points of Grzegorczyk structures. At the outset we introduce notions of a concentric and \(\omega \)-concentric topological space and we recollect some facts proven in the first part which are important for the sequel. Theorem 2.9 is a strengthening of Theorem 5.13, as we obtain stronger conclusion weakening Tychonoff separation axiom to mere regularity. This leads to a stronger version of Theorem 6.10 (in form of Corollary 2.10). Further, we show that Grzegorczyk points are maximal contracting filters in the sense of De Vries (Compact spaces and compactifications, Van Gorcum and Comp. N.V., 1962), but the converse inclusion is not necessarily true. We also compare the notions of a Grzegorczyk point and an ultrafilter, and establish several properties of topological spaces based on Grzegorczyk structures. The main results of the paper are representation and completion theorems for G-structures. We prove both set-theoretical and topological representation theorems for various classes of G-structures. We also present topological object duality theorem for the class of complete G-structures and the class of concentric spaces, both restricted to structures which satisfy countable chain condition. We conclude the paper with proving equivalence of the original Grzegorczyk axiom with the one accepted by us as axiom (G).
Biacino, L., and G. Gerla, Connection structures: Grzegorczyk’s and Whitehead’s definitions of point, Notre Dame Journal of Formal Logic 37(3): 431–439, 1996. https://doi.org/10.1305/ndjfl/1039886519.
De Vries, H., Compact spaces and compactifications, Van Gorcum and Comp. N.V., 1962.
Dimov, G., and D. Vakarelov, Contact algebras and region-based theory of space: A proximity approach-I, Fundamenta Informaticae 74(2–3): 209–249, 2006.
Gruszczyński, R., Niestandardowe teorie przestrzeni (Non-standard theories of space; in Polish), Nicolaus Copernicus University Scientific Publishing House, Toruń, 2016.
Gruszczyński, R., and A. Pietruszczak, A study in Grzegorczyk point-free topology Part I: Separation and Grzegorczyk structures, Studia Logica, 2018. https://doi.org/10.1007/s11225-018-9786-8.
Grzegorczyk, A., Axiomatizability of geometry without points, Synthese 12(2–3): 228–235, 1960. https://doi.org/10.1007/BF00485101.
Hamkins, J. D., and D. Seabold, Well-founded Boolean ultrapowers as large cardinal embeddings, 2012. http://arxiv.org/abs/1206.6075.
Helmos, P. R., Lectures on Boolean Agebras, D. Van Nostrad Company, Inc., Princeton, New Jersey, Toronto, New York, London, 1963.
Koppelberg, S., Handbook of Boolean Algebras, vol. 1, J. D. Monk and R. Bonnet (eds.), Elsevier, 1989.
Pietruszczak, A., Podstawy teorii czȩści (Foundations of the theory of parthood; in Polish), Nicolaus Copernicus University Scientific Publishing House, Toruń, 2013.
Pietruszczak, A., Metamereology, Nicolaus Copernicus University Scientific Publishing House, Toruń, 2018. https://doi.org/10.12775/9751.
Roeper, P., Region-based topology, Journal of Philosophical Logic 26(3): 251–309, 1997. https://doi.org/10.1023/A:1017904631349.
Rafał Gruszczyński’s work was supported by National Science Center, Poland, grant Applications of mereology in systems of pointfree geometry, No. 2014/13/B/HS1/00766.
Presented by Jacek Malinowski
About this article
Cite this article
Gruszczyński, R., Pietruszczak, A. A Study in Grzegorczyk Point-Free Topology Part II: Spaces of Points. Stud Logica 107, 809–843 (2019). https://doi.org/10.1007/s11225-018-9822-8
- Grzegorczyk structures
- Point-free topology
- Region-based topology
- Mereological fields
- Mereological structures
- Representation theorems
- Regular spaces
- Concentric spaces