HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › Kleene fixed-point theorem
← Back to search

Meaning of Kleene fixed-point theorem | Babel Free

Noun CEFR C1

Definitions

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.

CEFR level

C1
Advanced
This word is part of the CEFR C1 vocabulary — advanced level.

See also

Kleene hierarchy Kleene operator Kleene plus Kleene star Kleene-Mostowski hierarchy Kleene's recursion theorem

Learn this word in context

See Kleene fixed-point theorem used in real conversations inside our free language course.

Start Free Course