AbstractThe purpose of this paper is to survey recent approaches to realizing (or embedding) a Polish space as the set of maximal points of a continuous domain. Such realizations provide a convenient framework in which to model certain computational algorithms on the space and a useful alternate approach via the probabilistic power domain to measure theory and integraion on the space
We show that, for the space of Borel probability measures on a Borel subset of a Polish metric space...
AbstractWe give several characterizations of maximal point spaces of bounded continuous dcpos. Among...
AbstractIdeal domains have an elementary order theoretic structure: Every element is either compact ...
The purpose of this paper is to survey recent approaches to realizing (or embedding) a Polish space ...
AbstractThe purpose of this paper is to survey recent approaches to realizing (or embedding) a Polis...
AbstractThe regular spaces which may be realized as the set of maximal elements in an ω-continuous d...
AbstractFor every metric space X, we define a continuous poset BX such that X is homeomorphic to the...
AbstractWe prove that a metric space may be realized as the set of maximal elements in a continuous ...
AbstractThis paper extends the order-theoretic approach to computable analysis via continuous domain...
AbstractWe argue that constructive maximality (Martin-Löf [14]) can with advantage be employed in th...
AbstractAnswering a question of J. Lawson (formulated also earlier, in 1984, by Kamimura and Tang [T...
International audienceWe revisit extension results from continuous valuations to Radon measures for ...
AbstractIn the general context of computable metric spaces and computable measures we prove a kind o...
AbstractIn this paper we initiate the study of measurements on the probabilistic powerdomain. We sho...
AbstractIn this brief study we explicitly match the properties of spaces modelled by domains with th...
We show that, for the space of Borel probability measures on a Borel subset of a Polish metric space...
AbstractWe give several characterizations of maximal point spaces of bounded continuous dcpos. Among...
AbstractIdeal domains have an elementary order theoretic structure: Every element is either compact ...
The purpose of this paper is to survey recent approaches to realizing (or embedding) a Polish space ...
AbstractThe purpose of this paper is to survey recent approaches to realizing (or embedding) a Polis...
AbstractThe regular spaces which may be realized as the set of maximal elements in an ω-continuous d...
AbstractFor every metric space X, we define a continuous poset BX such that X is homeomorphic to the...
AbstractWe prove that a metric space may be realized as the set of maximal elements in a continuous ...
AbstractThis paper extends the order-theoretic approach to computable analysis via continuous domain...
AbstractWe argue that constructive maximality (Martin-Löf [14]) can with advantage be employed in th...
AbstractAnswering a question of J. Lawson (formulated also earlier, in 1984, by Kamimura and Tang [T...
International audienceWe revisit extension results from continuous valuations to Radon measures for ...
AbstractIn the general context of computable metric spaces and computable measures we prove a kind o...
AbstractIn this paper we initiate the study of measurements on the probabilistic powerdomain. We sho...
AbstractIn this brief study we explicitly match the properties of spaces modelled by domains with th...
We show that, for the space of Borel probability measures on a Borel subset of a Polish metric space...
AbstractWe give several characterizations of maximal point spaces of bounded continuous dcpos. Among...
AbstractIdeal domains have an elementary order theoretic structure: Every element is either compact ...
DOI
Add to ORKG