117b – Homework 7

Due Thursday, March 1 at 1pm.

Homework 7


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 )

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 )

Connecting to %s

%d bloggers like this: