AbstractWe prove that a metric space may be realized as the set of maximal elements in a continuous dcpo if and only if it is completely metrizable by showing more generally that the space of maximal elements in a domain is always complete in a sense first introduced by Choquet
summary:We show a new theorem which is a sufficient condition for maximal resolvability of a topolog...
AbstractFor every metric space X, we define a continuous poset BX such that X is homeomorphic to the...
We prove that player α has a winning strategy in the Banach–Mazur game on a space X if and only if X...
AbstractWe prove that a metric space may be realized as the set of maximal elements in a continuous ...
AbstractIdeal domains have an elementary order theoretic structure: Every element is either compact ...
AbstractThe regular spaces which may be realized as the set of maximal elements in an ω-continuous d...
AbstractIn this brief study we explicitly match the properties of spaces modelled by domains with th...
AbstractIn this article we show that each complete metric space is the maximal point space of a cont...
AbstractThe purpose of this paper is to survey recent approaches to realizing (or embedding) a Polis...
The purpose of this paper is to survey recent approaches to realizing (or embedding) a Polish space ...
Topological completeness properties seek to generalize the definition of complete metric space to th...
AbstractIn this paper we try to improve the current state of understanding concerning models of spac...
AbstractWe argue that constructive maximality (Martin-Löf [14]) can with advantage be employed in th...
AbstractWe unveil new results based on measurement that guarantee the existence of unique fixed poin...
AbstractWe argue that constructive maximality [P. Martin-Löf, Notes on Constructive Mathematics, Alm...
summary:We show a new theorem which is a sufficient condition for maximal resolvability of a topolog...
AbstractFor every metric space X, we define a continuous poset BX such that X is homeomorphic to the...
We prove that player α has a winning strategy in the Banach–Mazur game on a space X if and only if X...
AbstractWe prove that a metric space may be realized as the set of maximal elements in a continuous ...
AbstractIdeal domains have an elementary order theoretic structure: Every element is either compact ...
AbstractThe regular spaces which may be realized as the set of maximal elements in an ω-continuous d...
AbstractIn this brief study we explicitly match the properties of spaces modelled by domains with th...
AbstractIn this article we show that each complete metric space is the maximal point space of a cont...
AbstractThe purpose of this paper is to survey recent approaches to realizing (or embedding) a Polis...
The purpose of this paper is to survey recent approaches to realizing (or embedding) a Polish space ...
Topological completeness properties seek to generalize the definition of complete metric space to th...
AbstractIn this paper we try to improve the current state of understanding concerning models of spac...
AbstractWe argue that constructive maximality (Martin-Löf [14]) can with advantage be employed in th...
AbstractWe unveil new results based on measurement that guarantee the existence of unique fixed poin...
AbstractWe argue that constructive maximality [P. Martin-Löf, Notes on Constructive Mathematics, Alm...
summary:We show a new theorem which is a sufficient condition for maximal resolvability of a topolog...
AbstractFor every metric space X, we define a continuous poset BX such that X is homeomorphic to the...
We prove that player α has a winning strategy in the Banach–Mazur game on a space X if and only if X...
DOI
Add to ORKG