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.

Advertisements

2 Responses to 116c- Lecture 13

  1. […] Lecture 19 As discussed during Lecture 13, for the theories one encounters when studying set theory, no absolute consistency results are […]

  2. […] discussed during Lecture 13, for the theories one encounters when studying set theory, no absolute consistency results are […]

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

w

Connecting to %s

%d bloggers like this: