13
Inflationary Fixpoint
•Let F be arbitrary.
•
•Define G(Y) = Y [ F(Y).
•G is inflationary [why ?], hence X1 is its inflationary fixpoint
•
•Define ifp(F) = X1