A comparison of two systems of point-free topology
MetadataShow full item record
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 . In  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.
Except where otherwise noted, this item's license is described as This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.
Showing items related by title, author, creator and subject.
Czynniki determinujące zróżnicowanie inwolucji późnovistuliańskich w północno-zachodniej części regionu łódzkiego Petera-Zganiacz, Joanna (Wydawnictwo Uniwersytetu Łódzkiego, 2016)Involutions which were observed in Quaternary deposits were usually interpreted as periglacial and their development have been explained as result of formation of reversed density gradient systems, cryostatic pressure or ...
Kusideł, Ewa; Gajdos, Artur (Wydawnictwo Uniwersytetu Łódzkiego, 2016)The main purpose of this paper is the analysis of internal and external convergence processes and to present changes in working force structure in cross-section level of education and major occupational groups in Poland ...
Halamska, Maria (Wydawnictwo Uniwersytetu Łódzkiego, 2017)The social structure of the Polish countryside has deeply changed during the last thirty years because of three co-occurring processes: desagrarisation/depeasantisation, proletarisation, and bourgeoisement/gentrification. ...