DOIAbstract
AbstractAn axiomatic constructive development of the theory of nearness and apartness of a point and a set is introduced as a setting for topology
AbstractAn axiomatic constructive development of the theory of nearness and apartness of a point and a set is introduced as a setting for topology
A common concept of supertopologies and nearness, called supernearness, is considered. Moreover, we ...
The thesis falls naturally into two parts, in the first of which (comprising Chapter 1) there is lai...
AbstractThis paper offers solutions for two problems which have attracted many topologists over the ...
AbstractAn axiomatic constructive development of the theory of nearness and apartness of a point and...
A first—order axiomatic constructive development of the theory of near-ness and apartness of a point...
AbstractWe investigate constructively a pre-apartness structure that is classically important in the...
AbstractPre-apartness structures are defined on YX, where X is an inhabited set and Y a uniform spac...
AbstractCharacterization of countably compact, Lindelof, H-closed, first countable and second counta...
AbstractThis paper offers solutions for two problems which have attracted many topologists over the ...
AbstractThe relations among a set, its complement, and its boundary are examined constructively. A c...
Generally speaking, topology is a closeness between points and sets, promixity is a closeness betwee...
Generally speaking, topology is a closeness between points and sets, promixity is a closeness betwee...
The work in this thesis contains some contributions to constructive point-free topology and the theo...
The thesis falls naturally into two parts, in the first of which (comprising Chapter 1) there is lai...
AbstractElementary geometry can be axiomatized constructively by taking as primitive the concepts of...
A common concept of supertopologies and nearness, called supernearness, is considered. Moreover, we ...
The thesis falls naturally into two parts, in the first of which (comprising Chapter 1) there is lai...
AbstractThis paper offers solutions for two problems which have attracted many topologists over the ...
AbstractAn axiomatic constructive development of the theory of nearness and apartness of a point and...
A first—order axiomatic constructive development of the theory of near-ness and apartness of a point...
AbstractWe investigate constructively a pre-apartness structure that is classically important in the...
AbstractPre-apartness structures are defined on YX, where X is an inhabited set and Y a uniform spac...
AbstractCharacterization of countably compact, Lindelof, H-closed, first countable and second counta...
AbstractThis paper offers solutions for two problems which have attracted many topologists over the ...
AbstractThe relations among a set, its complement, and its boundary are examined constructively. A c...
Generally speaking, topology is a closeness between points and sets, promixity is a closeness betwee...
Generally speaking, topology is a closeness between points and sets, promixity is a closeness betwee...
The work in this thesis contains some contributions to constructive point-free topology and the theo...
The thesis falls naturally into two parts, in the first of which (comprising Chapter 1) there is lai...
AbstractElementary geometry can be axiomatized constructively by taking as primitive the concepts of...
A common concept of supertopologies and nearness, called supernearness, is considered. Moreover, we ...
The thesis falls naturally into two parts, in the first of which (comprising Chapter 1) there is lai...
AbstractThis paper offers solutions for two problems which have attracted many topologists over the ...
Add to ORKG