Next: About this document Up: The Structure of Previous: Fixed Point Theorems

Combinatorial Completeness

We can solve any equations of the form

This is just which can be rewritten as

But then is just a fixed pt of , i.e. or . (since so is ).

Example


pavel@
Tue Nov 1 08:15:18 EST 1994