A comparison of two systems of point-free topology
Rafał Gruszczyński; Andrzej Pietruszczak
Bulletin of the Section of Logic (2018)
- Volume: 47, Issue: 3
- ISSN: 0138-0680
Access Full Article
top
Abstract
topHow to cite
topRafał Gruszczyński, and Andrzej Pietruszczak. "A comparison of two systems of point-free topology." Bulletin of the Section of Logic 47.3 (2018): null. <http://eudml.org/doc/295573>.
@article{RafałGruszczyński2018,
abstract = {This is a spin-off paper to [3, 4] in which we carried out an extensive analysis of Andrzej Grzegorczyk’s point-free topology from [5]. In [1] Loredana Biacino and Giangiacomo Gerla presented an axiomatization which was inspired by the Grzegorczyk’s system, and which is its variation. Our aim is to compare the two approaches and show that they are slightly different. Except for pointing to dissimilarities, we also demonstrate that the theories coincide (in the sense that their axioms are satisfied in the same class of structures) in presence of axiom stipulating non-existence of atoms.},
author = {Rafał Gruszczyński, Andrzej Pietruszczak},
journal = {Bulletin of the Section of Logic},
keywords = {point-free topology; region-based topology; foundations of topology; mereology; mereological structures; separation structures; connection structures; Grzegorczyk structures; Biacino-Gerla structures.},
language = {eng},
number = {3},
pages = {null},
title = {A comparison of two systems of point-free topology},
url = {http://eudml.org/doc/295573},
volume = {47},
year = {2018},
}
TY - JOUR
AU - Rafał Gruszczyński
AU - Andrzej Pietruszczak
TI - A comparison of two systems of point-free topology
JO - Bulletin of the Section of Logic
PY - 2018
VL - 47
IS - 3
SP - null
AB - This is a spin-off paper to [3, 4] in which we carried out an extensive analysis of Andrzej Grzegorczyk’s point-free topology from [5]. In [1] Loredana Biacino and Giangiacomo Gerla presented an axiomatization which was inspired by the Grzegorczyk’s system, and which is its variation. Our aim is to compare the two approaches and show that they are slightly different. Except for pointing to dissimilarities, we also demonstrate that the theories coincide (in the sense that their axioms are satisfied in the same class of structures) in presence of axiom stipulating non-existence of atoms.
LA - eng
KW - point-free topology; region-based topology; foundations of topology; mereology; mereological structures; separation structures; connection structures; Grzegorczyk structures; Biacino-Gerla structures.
UR - http://eudml.org/doc/295573
ER -
References
top- L. Biacino and G. Gerla, Connection structures: Grzegorczyk’s and Whitehead’s definitions of point, Notre Dame Journal of Formal Logic 37 (3) (1996), pp. 431–439.
- R. Gruszczyński and A. Pietruszczak, Space, points and mereology. On foundations of point-free Euclidean geometry, Logic and Logical Philosophy 18 (2) (2009), pp. 145–188.
- R. Gruszczyński and A. Pietruszczak, A study in Grzegorczyk point-free topology. Part I: Separation and Grzegorczyk structures, Studia Logica, Vol. 106 (2018), pp. 1197–1238.
- R. Gruszczyński and A. Pietruszczak, A study in Grzegorczyk pointfree topology. Part II: Spaces of points, Studia Logica (2018).
- A. Grzegorczyk, Axiomatizability of geometry without points, Synthese 12 (2–3) (1960), pp. 228–235.
- A. Pietruszczak, Metamereology, Nicolaus Copernicus University Scientific Publishing House, Toruń, 2018.
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.