Kleene fixed-point theorem (English, name)
expansion: the Kleene fixed-point theorem
Senses:
topics: mathematics
sciences
glosses: 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:
form: the Kleene fixed-point theorem
tags: canonical
form: Kleene's fixed-point theorem
tags: alternative