Fixed points of contractive maps on dcpo's

DOI10.1017/S0960129513000017zbMATH Open1342.68194OpenAlexW2109713095MaRDI QIDQ5740348FDOQ5740348

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

Recommendations

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (7)

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

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)