Natural Computing

, Volume 18, Issue 4, pp 901–905 | Cite as

A new fixed point theorem in domain theory

  • Keye MartinEmail author
  • Johnny Feng


We generalize the standard fixed point theorem in domain theory: a dcpo has the fixed point property iff the image of its least deflation has the fixed point property, provided that the least deflation exists. We then turn to the existence of least deflations, showing that they exist in a number of important cases, including the case of compact domains.


Fixed point Domain theory Order 



This research was supported by the Naval Research Laboratory.

Compliance with ethical standards

Conflicts of interest

The authors declare that they have no conflict of interest.


  1. Abramsky S, Jung A (1994) Domain theory. Handbook of logic in computer science, vol 3. Oxford University Press, OxfordGoogle Scholar
  2. Davis A (1955) A characterization of complete lattices. Pac J Math 5:311–319MathSciNetCrossRefGoogle Scholar
  3. Duffus D, Rival I, Simonovits M (1980) Spanning retracts of a partially ordered set. Discret Math 32:1–7MathSciNetCrossRefGoogle Scholar
  4. Edalat A (1997) Domains for computation in mathematics, physics and exact real arithmetic. Bull Symb Logic 3(4):401–452MathSciNetCrossRefGoogle Scholar
  5. Martin K (2011) Domain theory and measurement. In: New structures for physics, Lecture notes in physics, vol 813. Springer, pp 491–589Google Scholar

Copyright information

© This is a U.S. Government work and not under copyright protection in the US; foreign copyright protection may apply [2018] 2018

Authors and Affiliations

  1. 1.Center for High Assurance Computer Systems (Code 5540)Naval Research LaboratoryWashingtonUSA

Personalised recommendations