116c- Lecture 13

We explored well-founded relations and proved a generalization of the recursion theorem to well-founded, set like relations. The main application of this result is the Mostowski collapsing theorem.

Finally, we defined relativizations and explained how they are useful to establish relative consistency results; absolute consistency results being precluded by Gödel’s second incompleteness theorem.

Advertisement