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:

    “Whoever thinks his friend more important than his country, I rate him nowhere.”
    —Sophocles (497–406/5 B.C.)

    “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.)