AbstractThe class of points in a set-presented formal topology is a set, if all points are maximal. To prove this constructively a strengthening of the dependent choice principle to infinite well-founded trees is used
Formal topology is today an established topic in the development of constructive mathematics and con...
Ultrafilters and maximal linked systems (MLS) of a lattice of sets are considered. Two following va...
AbstractFor subspaces X and Y of Q the notation X⩽hY means that X is homeomorphic to a subspace of Y...
AbstractThe class of points in a set-presented formal topology is a set, if all points are maximal. ...
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 ...
AbstractThe collection of points of a locally compact regular formal space is shown to be isomorphic...
The points of a compact regular locale L are characterized as the maximal regular subsets of any giv...
In set theory without the Axiom of Choice (AC), we observe new relations of the following statements...
AbstractWe present an alternative solution to the problem of inductive generation of covers in forma...
AbstractWe study the concept of finitary formal topology, a point-free version of a topological spac...
This paper presents applications of the Axiom of Infinite Choice: Given any set P, there exist at le...
Cantor believed that properties holding for finite sets might also hold for infinite sets. One such ...
Cantor believed that properties holding for finite sets might also hold for infinite sets. One such ...
This paper disentangles the topological assumptions of classical results (e.g., Walker (1977)) on ex...
Formal topology is today an established topic in the development of constructive mathematics and con...
Ultrafilters and maximal linked systems (MLS) of a lattice of sets are considered. Two following va...
AbstractFor subspaces X and Y of Q the notation X⩽hY means that X is homeomorphic to a subspace of Y...
AbstractThe class of points in a set-presented formal topology is a set, if all points are maximal. ...
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 ...
AbstractThe collection of points of a locally compact regular formal space is shown to be isomorphic...
The points of a compact regular locale L are characterized as the maximal regular subsets of any giv...
In set theory without the Axiom of Choice (AC), we observe new relations of the following statements...
AbstractWe present an alternative solution to the problem of inductive generation of covers in forma...
AbstractWe study the concept of finitary formal topology, a point-free version of a topological spac...
This paper presents applications of the Axiom of Infinite Choice: Given any set P, there exist at le...
Cantor believed that properties holding for finite sets might also hold for infinite sets. One such ...
Cantor believed that properties holding for finite sets might also hold for infinite sets. One such ...
This paper disentangles the topological assumptions of classical results (e.g., Walker (1977)) on ex...
Formal topology is today an established topic in the development of constructive mathematics and con...
Ultrafilters and maximal linked systems (MLS) of a lattice of sets are considered. Two following va...
AbstractFor subspaces X and Y of Q the notation X⩽hY means that X is homeomorphic to a subspace of Y...
DOI
Add to ORKG