AbstractThe collection of points of a locally compact regular formal space is shown to be isomorphic to a set in the context of Martin-Löf type theory. By introducing the notion of uniform formal space, this result is refined and generalized in the subcategory of open formal spaces
In this paper we study several classes of locally finite collections. We show their interrelationshi...
In this paper we study several classes of locally finite collections. We show their interrelationshi...
We sharpen the notion of a quasi-uniform space to spaces which carry with them functional means of a...
AbstractThe collection of points of a locally compact regular formal space is shown to be isomorphic...
The concept of set available to constructive mathematics is considerably more restrictive than the c...
The points of a compact regular locale L are characterized as the maximal regular subsets of any giv...
Many fundamental results as the theorems of Tychonoff and Hahn-Banach are equivalent, in classical ...
AbstractThe class of points in a set-presented formal topology is a set, if all points are maximal. ...
AbstractWorking in constructive set theory we formulate notions of constructive topological space an...
In this note a T1 formal space (T1 set generated locale) is a formal space whose points are closed a...
This chapter discusses what completely regular space (X) can be characterized by the fact that some,...
The purpose of this paper is to develop some properties of uniformly locally compact spaces. The ter...
We extend the notion of localic completion of generalised metric spaces bySteven Vickers to the sett...
AbstractWe present an alternative solution to the problem of inductive generation of covers in forma...
AbstractLet F be a collection of proper maps into a topological space, (X, τ), which satisfies a top...
In this paper we study several classes of locally finite collections. We show their interrelationshi...
In this paper we study several classes of locally finite collections. We show their interrelationshi...
We sharpen the notion of a quasi-uniform space to spaces which carry with them functional means of a...
AbstractThe collection of points of a locally compact regular formal space is shown to be isomorphic...
The concept of set available to constructive mathematics is considerably more restrictive than the c...
The points of a compact regular locale L are characterized as the maximal regular subsets of any giv...
Many fundamental results as the theorems of Tychonoff and Hahn-Banach are equivalent, in classical ...
AbstractThe class of points in a set-presented formal topology is a set, if all points are maximal. ...
AbstractWorking in constructive set theory we formulate notions of constructive topological space an...
In this note a T1 formal space (T1 set generated locale) is a formal space whose points are closed a...
This chapter discusses what completely regular space (X) can be characterized by the fact that some,...
The purpose of this paper is to develop some properties of uniformly locally compact spaces. The ter...
We extend the notion of localic completion of generalised metric spaces bySteven Vickers to the sett...
AbstractWe present an alternative solution to the problem of inductive generation of covers in forma...
AbstractLet F be a collection of proper maps into a topological space, (X, τ), which satisfies a top...
In this paper we study several classes of locally finite collections. We show their interrelationshi...
In this paper we study several classes of locally finite collections. We show their interrelationshi...
We sharpen the notion of a quasi-uniform space to spaces which carry with them functional means of a...
DOI
Add to ORKG