kleene fixed-point theorem
Word Rarity
Very rare
Frequency: Zipf frequency 1.54 in modern English
45
Scrabble Score
23
Letters
6
Syllables
14
Unique Chars
Meaning
name
Suppose (L,⊑) is a directed-complete partial order with a least element, and let f:L→L be a Scott-continuous (and therefore monotone) function. Then f has a least fixed point, which is the supremum of the ascending Kleene chain of f.
Etymology
Inflected Forms
the Kleene fixed-point theorem (canonical)
Kleene's fixed-point theorem (alternative)