Add to ORKGWe give a construction of coequalisers in formal topology, a predicative version of locale theory
The theme of this paper is the relation between formal topology and the theory of domains. On one ha...
The theme of this paper is the relation between formal topology and the theory of domains. On one ha...
AbstractThe theme of this paper is the relation between formal topology and the theory of domains. O...
We give a construction of coequalisers in formal topology, a predicative version of locale theory. T...
Formal topology in the sense of Martin-Löf and Sambin (Sambin 1987, 2003) may be considered as a pre...
We give a predicative construction of quotients of formal topologies. Along with earlier results on ...
We give a predicative construction of quotients of formal topologies. Along with earlier results on ...
AbstractWorking in constructive set theory we formulate notions of constructive topological space an...
AbstractThis paper uses the locale theory approach to topology. Two descriptions are given of all lo...
A $\sigma$-frame is a poset with countable joins and finite meets in whichbinary meets distribute ov...
Abstract. A representation of continuous and prime-continuous lattices via formal topology is found....
A σ-frame is a poset with countable joins and finite meets in which binary meets distribute over co...
This monograph on the homotopy theory of topologized diagrams of spaces and spectra gives an expert ...
In a recent note Erik Palmgren has shown that the category of set-presented formal topologies has co...
The theme of this paper is the relation between formal topology and the theory of domains. On one ha...
The theme of this paper is the relation between formal topology and the theory of domains. On one ha...
The theme of this paper is the relation between formal topology and the theory of domains. On one ha...
AbstractThe theme of this paper is the relation between formal topology and the theory of domains. O...
We give a construction of coequalisers in formal topology, a predicative version of locale theory. T...
Formal topology in the sense of Martin-Löf and Sambin (Sambin 1987, 2003) may be considered as a pre...
We give a predicative construction of quotients of formal topologies. Along with earlier results on ...
We give a predicative construction of quotients of formal topologies. Along with earlier results on ...
AbstractWorking in constructive set theory we formulate notions of constructive topological space an...
AbstractThis paper uses the locale theory approach to topology. Two descriptions are given of all lo...
A $\sigma$-frame is a poset with countable joins and finite meets in whichbinary meets distribute ov...
Abstract. A representation of continuous and prime-continuous lattices via formal topology is found....
A σ-frame is a poset with countable joins and finite meets in which binary meets distribute over co...
This monograph on the homotopy theory of topologized diagrams of spaces and spectra gives an expert ...
In a recent note Erik Palmgren has shown that the category of set-presented formal topologies has co...
The theme of this paper is the relation between formal topology and the theory of domains. On one ha...
The theme of this paper is the relation between formal topology and the theory of domains. On one ha...
The theme of this paper is the relation between formal topology and the theory of domains. On one ha...
AbstractThe theme of this paper is the relation between formal topology and the theory of domains. O...