A Study in Grzegorczyk Point-Free Topology Part I: Separation and Grzegorczyk Structures
- 88 Downloads
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. https://doi.org/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.
KeywordsGrzegorczyk structures Point-free topology, Region-based topology Foundations of topology Mereology Mereological fields Mereological structures
- 3.Dorais, F. G., Intersections of families of open sets ordered by well-inside relation in Euclidean space, MathOverflow (26.03.2016). http://mathoverflow.net/q/234572.
- 5.Engelking, R., General Topology, revised and completed edition, Heldermann Verlag, Berlin, 1989. The first English edition: R. Engelking, General Topology, PWN, Warszawa, 1977. The Polish edition: R. Engelking, Topologia ogólna, PWN, Warszawa, 1976.Google Scholar
- 6.Gruszczyński, R., Niestandardowe teorie przestrzeni (Non-standard theories of space; in Polish), Nicolaus Copernicus University Scientific Publishing House, Toruń, 2016.Google Scholar
- 8.Gruszczyński, R., and A. Pietruszczak, The relations of supremum and mereological sum in partially ordered sets, in C. Calosi and P. Graziani, (eds.), Mereology and the Sciences. Parts and Wholes in the Contemporary Scientific Context, Springer, 2014, pp. 123–140. https://doi.org/10.1007/978-3-319-05356-1_6.Google Scholar
- 12.Hamkins, J. D., and D. Seabold, Well-founded Boolean ultrapowers as large cardinal embeddings, 2012. http://arxiv.org/abs/1206.6075.
- 13.Koppelberg, S., Elementary arithmetic, in J. D. Monk and R. Bonnet, (eds.), Handbook of Boolean Algebras, volume 1, Elsevier, 1989, chapter 1, pp. 5–46.Google Scholar
- 15.Pietruszczak, A., Metamereologia (Metamereology; in Polish), Nicolaus Copernicus University Press, Toruń, 2000.Google Scholar
- 16.Pietruszczak, A., Pieces of mereology, Logic and Logical Philosophy 14: 345–450, 2005. https://doi.org/10.12775/LLP.2005.014.
- 17.Pietruszczak, A., Podstawy teorii części (Foundations of the theory of parthood; in Polish), Nicolaus Copernicus University Scientific Publishing House, Toruń, 2013.Google Scholar
- 18.Pietruszczak, A., Classical mereology is not elementarily axiomatizable, Logic and Logical Philosophy 24(4): 485–498, 2015. https://doi.org/10.12775/LLP.2015.017.
- 19.Popvassilev, S. G., A question concerning Tychonoff spaces, Mathematics Stack Exchange (15.02.2017). http://math.stackexchange.com/q/2144869.
- 22.Tarski, A., Foundations of the geometry of solids, in Logic, Semantics, Metamathematics. Papers from 1923 to 1938, Oxford University Press, 1956a, pp. 24–29.Google Scholar
- 23.Tarski, A., On the foundations of Boolean algebra, In Logic, Semantics, Metamathematics. Papers from 1923 to 1938, Oxford University Press, 1956b. pp. 320–341.Google Scholar
- 24.Vakarelov, D., Region-based theory of space: Algebras of regions, representation theory, and logics, in D. M. Gabbay, M. Zakharyaschev, S. S. Goncharov, (eds.), Mathematical Problems from Applied Logic II: Logics for the XXIst Century, Springer, New York, NY, 2007, pp. 267–348.CrossRefGoogle Scholar
- 25.Whitehead, A. N., Process and Reality. An Essay in Cosmology, 1st edition 1929, with corrections, D. R. Griffin and D. W. Sherburne (eds.), The Free Press, A Division of Macmillan Publishing CO., INC., Nowy York, 1978.Google Scholar
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.