Domain Theory - Important Results

Important Results

A poset D is a dcpo if and only if each chain in D has a supremum.

If f is a continuous function on a poset D then it has a least fixed point, given as the least upper bound of all finite iterations of f on the least element 0: Vn in N f n(0). This is the Kleene fixed-point theorem.

Read more about this topic:  Domain Theory

Famous quotes containing the words important and/or results:

    I love this child. Red-haired—patient and gentle like her mother—fey and funny like her father. When she giggles I can hear him when he and I were young. I am part of this child. It may be only because we share genes and that therefore smell familiar to each other. . . . It may be that a part of me lives in her in some important way. . . . But for now, it’s jelly beans and “Old MacDonald” that unite us.
    Robert Fulghum (20th century)

    Intellectual despair results in neither weakness nor dreams, but in violence.... It is only a matter of knowing how to give vent to one’s rage; whether one only wants to wander like madmen around prisons, or whether one wants to overturn them.
    Georges Bataille (1897–1962)