PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2018 | 47 | 3 |
Tytuł artykułu

A comparison of two systems of point-free topology

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
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.
Rocznik
Tom
47
Numer
3
Opis fizyczny
Daty
wydano
2018-10-30
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ojs-doi-10_18778_0138-0680_47_3_04
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.