117b – Homework 7

Due Thursday, March 1 at 1pm.

Homework 7

Advertisements

4 Responses to “117b – Homework 7”

  1. Jed Says:

    I recall that you mentioned that the material covered on March 2 and 12 will not be on the homework, so is HW7 the last set, then?

  2. andrescaicedo Says:

    HW8 will be the last set. It will be due March 13th and it will guide you through a proof that a certain combinatorial statement (that I will mention tomorrow in lecture) is independent of PA.

  3. Jed Says:

    I think the definition of monoconsistency in 3(a) should say “for each phi in X” instead of in T. (Again, nothing too serious, but I thought I might as well post typographical errors that I find here.)

  4. andrescaicedo Says:

    Funny thing is, I actually proofread the homework before posting it. Several times…

    (Yes, “for each phi in X” )

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: