Word.ws English Dictionary

Kleene's fixed-point theorem

Kleene's fixed-point theorem is the alternative form of Kleene fixed-point theorem.

Meaning of Kleene fixed-point theorem

Proper noun

the Kleene fixed-point theorem

  1. 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.

Questions about Kleene's fixed-point theorem

What is Kleene's fixed-point theorem the alternative form of?
Kleene's fixed-point theorem is the alternative form of Kleene fixed-point theorem.

Words near Kleene's fixed-point theorem in the dictionary

  1. Kleene operators
  2. Kleene plus
  3. Kleene pluses
  4. Kleene star
  5. Kleene stars
  6. Kleene's fixed-point theorem
  7. Kleene's recursion theorem
  8. Kleene's recursion theorems
  9. Kleene's theorem
  10. Kleene-Mostowski hierarchy
  11. Kleenean

Source and license

Adapted from Wiktionary: Kleene's fixed-point theorem (page history and authors); Kleene fixed-point theorem (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Kleene's fixed-point theorem.” Word.ws, https://word.ws/kleene%27s_fixed-point_theorem. Based on Wiktionary, CC BY-SA 4.0.