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
Bibliography: leaves 99-106.We introduce and investigate the concept of a nearness structure on a σ-...
Generally speaking, topology is a closeness between points and sets, promixity is a closeness betwee...
This book introduces computational proximity (CP) as an algorithmic approach to finding nonempty set...
A first—order axiomatic constructive development of the theory of near-ness and apartness of a point...
AbstractAn axiomatic constructive development of the theory of nearness and apartness of a point and...
The goal of this course is to introduce you to the fundamental examples, problems, and machinery of ...
The work in this thesis contains some contributions to constructive point-free topology and the theo...
AbstractThis paper offers solutions for two problems which have attracted many topologists over the ...
Abstract The problem considered in this paper is the approximation of sets of perceptual objects tha...
AbstractWorking in constructive set theory we formulate notions of constructive topological space an...
Generally speaking, topology is a closeness between points and sets, promixity is a closeness betwee...
AbstractThis paper offers solutions for two problems which have attracted many topologists over the ...
AbstractCharacterization of countably compact, Lindelof, H-closed, first countable and second counta...
The formal content of near set theory can be summarised in terms of three concepts: a perceptual sys...
Generally speaking, topology is a closeness between points and sets, promixity is a closeness betwee...
Bibliography: leaves 99-106.We introduce and investigate the concept of a nearness structure on a σ-...
Generally speaking, topology is a closeness between points and sets, promixity is a closeness betwee...
This book introduces computational proximity (CP) as an algorithmic approach to finding nonempty set...
A first—order axiomatic constructive development of the theory of near-ness and apartness of a point...
AbstractAn axiomatic constructive development of the theory of nearness and apartness of a point and...
The goal of this course is to introduce you to the fundamental examples, problems, and machinery of ...
The work in this thesis contains some contributions to constructive point-free topology and the theo...
AbstractThis paper offers solutions for two problems which have attracted many topologists over the ...
Abstract The problem considered in this paper is the approximation of sets of perceptual objects tha...
AbstractWorking in constructive set theory we formulate notions of constructive topological space an...
Generally speaking, topology is a closeness between points and sets, promixity is a closeness betwee...
AbstractThis paper offers solutions for two problems which have attracted many topologists over the ...
AbstractCharacterization of countably compact, Lindelof, H-closed, first countable and second counta...
The formal content of near set theory can be summarised in terms of three concepts: a perceptual sys...
Generally speaking, topology is a closeness between points and sets, promixity is a closeness betwee...
Bibliography: leaves 99-106.We introduce and investigate the concept of a nearness structure on a σ-...
Generally speaking, topology is a closeness between points and sets, promixity is a closeness betwee...
This book introduces computational proximity (CP) as an algorithmic approach to finding nonempty set...
Add to ORKG