Top Qs
Timeline
Chat
Perspective

Kleene fixed-point theorem

From Wiktionary, the free dictionary

Remove ads

English

Alternative forms

Etymology

Named after American mathematician Stephen Cole Kleene.

Proper noun

the Kleene fixed-point theorem

  1. (mathematics) Suppose is a directed-complete partial order with a least element, and let be a Scott-continuous (and therefore monotone) function. Then has a least fixed point, which is the supremum of the ascending Kleene chain of .
Remove ads

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads