Kleene fixed-point theorem: Difference between revisions

Revision as of 16:30, 1 May 2013

Revision as of 23:55, 23 July 2013

Line 14:

where <math>\textrm{lfp}</math> denotes the least fixed point.

This result is often attributed to [[Alfred Tarski]], but [[Tarski's fixed point theorem]] pertains to [[Monotone function|monotone functions]] on [[complete lattices]].

== Proof ==