411 REFERENCE · Wiktionary
Kleene fixed-point theorem
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Alternative forms
en Kleene's fixed-point theorem
Etymology
Named after American mathematician Stephen Cole Kleene.
Proper noun
1
en math 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 .
en eponyms