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 is a preview of subscription content, log in to check access.
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.
Abramsky S, Jung A (1994) Domain theory. Handbook of logic in computer science, vol 3. Oxford University Press, OxfordGoogle Scholar