Talk:Kleene fixpoint theorem

From Wikipedia, the free encyclopedia

I think this is wrong: continuity does not imply monotonicity.

Igrant 12:15, 31 December 2005 (UTC)

Now I think it's right :-). I'll change the link to 'continuous' to point to the article on Scott continuity instead.

Igrant 12:31, 31 December 2005 (UTC)

[edit] Ascending Kleene chain

The above page currently redirects to this one, but I can't see any mention of that exact phrase in the article. As someone who knows nothing about the subject this would be important to me to have it explained somewhere. Could something be inserted, or should we delink the redirect? -- Francs2000 12:31, 18 January 2006 (UTC)

The ascending Kleene chain is the chain that starts with the bottom element of L and goes up through applications of the monotone function f. I've made the term explicit now. Is that beter?

Igrant 12:27, 4 March 2006 (UTC)