Revision as of 18:21, 27 May 2015 edit 31.33.156.54 (talk) →Proof ← Previous edit		Revision as of 20:40, 24 July 2015 edit undo Rootzlevel (talk \| contribs) 8 edits m →Proof: add missing word Next edit →
Line 20: We first have to show that the ascending Kleene chain of ''f'' exists in L. To show that, we prove the following lemma: :Lemma 1:''If L is CPO, and f : L → L is a Scott-continuous function, then <math>f^n(\bot) \sqsubseteq f^{n+1}(\bot), n \in \mathbb{N}_0</math> Proof by induction:

Kleene fixed-point theorem: Difference between revisions