Spaces of maximal points
From MaRDI portal
Publication:4366770
DOI10.1017/S0960129597002363zbMath0985.54025MaRDI QIDQ4366770
Publication date: 27 May 2002
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Complete metric spaces (54E50) Metric spaces, metrizability (54E35) Continuous lattices and posets, applications (06B35)
Related Items
On some topological properties of dcpo models of \(T_1\) topological spaces, On the domain of formal balls of the Sorgenfrey quasi-metric space, Topological games in domain theory, Bounded complete models of topological spaces, Continuous prequantale models of \(T_1\) topological semigroups, A Cartesian closed category of domains with almost algebraic bases, Weak domain models of \(T_1\) spaces, REVERSE MATHEMATICS OF MF SPACES, Measuring the probabilistic powerdomain, A domain-theoretic approach to Brownian motion and general continuous stochastic processes, Maximal point spaces of dcpos satisfying the Lawson condition, A computational model for metric spaces, Jimmie D. Lawson on the occasion of his 75th birthday, A domain-theoretic approach to fuzzy metric spaces, Approximating labelled Markov processes, Maximal elements with minimal logic, Directed complete poset models of T1 spaces, Apartness, sharp elements, and the Scott topology of domains, Some of Melvin Henriksen's contributions to spaces of ideals, Intrinsic approach spaces on domains, Sober Scott spaces are not always co-sober, On the construction of domains of formal balls for uniform spaces, Ideal models of spaces., The regular spaces with countably based models., A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations, On computational environments of topological spaces, Lawson topology of the space of formal balls and the hyperbolic topology, An application of a representation theorem for fuzzy metrics to domain theory, On topological spaces that have a bounded complete dcpo model, Domain theoretic characterisations of quasi-metric completeness in terms of formal balls, Domains for Computation in Mathematics, Physics and Exact Real Arithmetic, Unnamed Item, Can partial indexings be totalized?, Algebraic models for \(T_1\)-spaces, The space of maximal elements in a compact domain, A differential operator and weak topology for Lipschitz maps, Convex power domain and Vietoris space, Topological aspects of poset spaces, The Riemann integral using ordered open coverings, On the computational content of the Lawson topology, Order environments of topological spaces, Probabilistic event structures and domains, Domains and stochastic processes, Complete partial metric spaces have partially metrizable computational models, Complete partial metric spaces have partially metrizable computational models, Lower topological algebraic domain models of topological spaces, Lower topological poset models of \(T_1\) topological spaces, Unnamed Item, The space of formal balls and models of quasi-metric spaces, The formal ball model for -categories, A quantitative computational model for complete partial metric spaces via formal balls, A computable approach to measure and integration theory, Dcpo models of Choquet complete and Baire spaces, Weighted colimits and formal balls in generalized metric spaces, The generalized Riemann integral on locally compact spaces, Properly injective spaces and function spaces, Computation on metric spaces via domain theory, The constructive maximal point space and partial metrizability, A category of compositional domain-models for separable Stone spaces., A Domain-Theoretic Approach to Integration in Hausdorff Spaces, Bounded complete domains and their logical form, Extension of valuations on locally compact sober spaces, Polish spaces, computable approximations, and bitopological spaces, Topological semigroups and their prequantale models, Function-space compactifications of function spaces
