DOIAbstract
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
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
We study the logical content of several maximality principles related to the finite intersection pri...
AbstractWe prove that a metric space may be realized as the set of maximal elements in a continuous ...
AbstractA connected topology T is said to be maximal connected if U strictly finer than T implies th...
AbstractThe class of points in a set-presented formal topology is a set, if all points are maximal. ...
The points of a compact regular locale L are characterized as the maximal regular subsets of any giv...
Formal topology is today an established topic in the development of constructive mathematics and con...
In set theory, a maximality principle is a principle that asserts some maximality property of the un...
This paper presents applications of the Axiom of Infinite Choice: Given any set P, there exist at le...
AbstractConsider a finite (t + r − 1)-dimensional projective space PG(t + r − 1, s) based on the Gal...
AbstractThe collection of points of a locally compact regular formal space is shown to be isomorphic...
For a topological property R and a set X, the collection R(X) of all topologies on X with property R...
For a topological property R and a set X, the collection R(X) of all topologies on X with property R...
In this note a T1 formal space (T1 set generated locale) is a formal space whose points are closed a...
AbstractWe argue that constructive maximality (Martin-Löf [14]) can with advantage be employed in th...
AbstractWe argue that constructive maximality [P. Martin-Löf, Notes on Constructive Mathematics, Alm...
We study the logical content of several maximality principles related to the finite intersection pri...
AbstractWe prove that a metric space may be realized as the set of maximal elements in a continuous ...
AbstractA connected topology T is said to be maximal connected if U strictly finer than T implies th...
AbstractThe class of points in a set-presented formal topology is a set, if all points are maximal. ...
The points of a compact regular locale L are characterized as the maximal regular subsets of any giv...
Formal topology is today an established topic in the development of constructive mathematics and con...
In set theory, a maximality principle is a principle that asserts some maximality property of the un...
This paper presents applications of the Axiom of Infinite Choice: Given any set P, there exist at le...
AbstractConsider a finite (t + r − 1)-dimensional projective space PG(t + r − 1, s) based on the Gal...
AbstractThe collection of points of a locally compact regular formal space is shown to be isomorphic...
For a topological property R and a set X, the collection R(X) of all topologies on X with property R...
For a topological property R and a set X, the collection R(X) of all topologies on X with property R...
In this note a T1 formal space (T1 set generated locale) is a formal space whose points are closed a...
AbstractWe argue that constructive maximality (Martin-Löf [14]) can with advantage be employed in th...
AbstractWe argue that constructive maximality [P. Martin-Löf, Notes on Constructive Mathematics, Alm...
We study the logical content of several maximality principles related to the finite intersection pri...
AbstractWe prove that a metric space may be realized as the set of maximal elements in a continuous ...
AbstractA connected topology T is said to be maximal connected if U strictly finer than T implies th...
Add to ORKG