Kleene fixed-point theorem en · PROPN
Etymology
Named after American mathematician Stephen Cole Kleene.
Meanings
- 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.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| Kleene's fixed-point theorem | alternative | lexicographic | |
| the Kleene fixed-point theorem | canonical | lexicographic |