Fixed points of contractive maps on dcpo's

DOI10.1017/S0960129513000017MaRDI QIDQ5740348zbMATH OpenOpenAlexFDO

Authors Eva Colebunders, Robert Lowen, Stefan De Wachter

Publication date 26 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129513000017

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Recommendations

• Fixed points of continuous DCPOs
• The contraction principle as a particular case of Kleene's fixed point theorem
• scientific article; zbMATH DE number 5693518
• A non-topological view of dcpos as convergence spaces.
• Partial dcpo's and some applications.

Cites work

• A characterization of partial metrizability: Domains are quantifiable.
• A computational model for metric spaces
• A relationship between equilogical spaces and type two effectivity
• Applications of the complexity space to the general probabilistic divide and conquer algorithms
• Approximation of metric spaces by partial metric spaces
• Complexity spaces as quantitative domains of computation
• Continuous Lattices and Domains
• Dieudonné completion and \(PT\)-groups
• Distances on probability measures and random variables
• Intrinsic approach spaces on domains
• Partial Metric Topology
• Quantitative continuous domains
• Quasi-metric properties of complexity spaces
• The Smyth Completion

Cited in

(7)

• The notions of closedness and \(D\)-connectedness in quantale-valued approach spaces
• Fixed points of continuous DCPOs
• Supported approach spaces
• An isomorphism of the Wallman and Čech-Stone compactifications
• Splitting metrics by \(T_0\)-quasi-metrics
• An application of approach theory to the relative Hausdorff measure of non-compactness for the Wasserstein metric
• Normality in terms of distances and contractions

This page was built for publication: Fixed points of contractive maps on dcpo's

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5740348)