Displaying similar documents to “Duality of tensor products of converge-free spaces.”

A comparison of two systems of point-free topology

Rafał Gruszczyński, Andrzej Pietruszczak (2018)

Bulletin of the Section of Logic

Similarity:

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...