116c- Lecture 14

We defined absoluteness of formulas with respect to two classes Msubset N; for example, every Delta_0 formula is absolute with respect to M and V, if M is transitive. Once we establish a sufficiently long list of properties that are absolute with respect to a transitive model of (enough of) {sf ZFC} and V, we will be able to prove a few relative consistency results. The main application will be in the proof that Gödel’s constructible universe L is a model of {sf ZF} (and of choice and {sf GCH}), but a few other examples will be presented as well.

We proved the reflection theorem and some of its consequences, in particular, that no consistent extension of {sf ZF} is finitely axiomatizable.

An important application of these techniques is the use of basic model theoretic tools to establish combinatorial facts. Some examples will be explored in the next homework set.

Advertisements

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 )

Twitter picture

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

Facebook photo

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

Google+ photo

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

Connecting to %s

%d bloggers like this: