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 know, of course, how important it is not to keep a business engagement, if one wants to retain any sense of the beauty of life.”
    —Oscar Wilde (1854–1900)

    “The study and knowledge of the universe would somehow be lame and defective were no practical results to follow.”
    —Marcus Tullius Cicero (106–43 B.C.)