I will generally add new material near the top (a few items will stay at the top).

**Tentative office hours**: MWF 10:30-11:30, 3:00-4:00. I'll consider what if any Tuesday or Thursday hours I want to set up. It is possible that logic seminar may cause me to move one of the MWF afternoon hours.

Here is the lab manual.

- Friday Nov 17th: With fear and trembling I unveil some exercises on constructibility and forcing, found at the ends of sections 3.8 and 3.10. Do what you can. I expect visits to my office!
Problem 1 in each set solicits your careful attention to the text of the notes: typos and errors are present, I am sure, and you all have found some of them by careful reading, so I am hoping for assistance in this respect!

Here is the midterm takehome.

- Wednesday Oct 11: Homework 5: do at least 5 of the exercises in section 3.7.3 in the notes. Doing more will benefit you. Due on Wednesday Oct 18th (as usual this is somewhat flexible).

- Friday September 29: lectured section 3.6.
Homework 4, due Oct 6: There are now a variety of exercises in sections 3.5 (1), 3.6.2 (1-2), 3.6.3 (1-3, 3 is harder), 3.6.4 (1-2; if you do 3 or 4, which are identified as projects, that will impress me and give additional credit; it is not expected). I'm going to leave it open how many of these you are expected to do: attempt them all and we will see what the performance looks like.

- Friday Sept 15th: The lecture of the 15th is now complete as section 3.4.
Homework 3: please do at least five of the eight problems at the end of section 3.4 (currently on pp. 238-9). Doing more problems is better! These are due on Friday, Sept 22.

- Wednesday August 30: lectured on implementation of arithmetic of natural numbers. The notes for this lecture now exist as section 3.3.1.
- Friday Sept 1: Homework 1 due. More lecture on natural numbers.
Homework 2, due Sept 8: exercises 1-3 at the end of section 3.3.1, page 218. Problem 1 should be easy with the special assumption and trickier (considerably) without it. For Problem 3, Ill be happy to do another similar induction proof on the board on Wednesday, but my experience is that students figure these out. Problem 2 is in one sense very easy and in another very tricky (the wet paper bag issue). Do ask me questions on email or in person if you run into trouble!

- Wednesday, August 23d: We covered section 4.1 and the first part of section 4.2 (before section 4.2.1). You might want to review these sections. We'll be talking about section 4.2.1 next time (possibly among other things). Do note that I moved some sections around: make sure you are looking at the latest version of the notes.
- Friday, August 25th: Please notice that I've reorganized the format of the notes; what was section 4 is now chapter 3. We have covered section 3.1, the preamble of section 3.2, and much of section 3.2.1 at this point.
Your first assignment is to do exercises 1,2,4,5,6 in section 3.2.2 in the notes (currently on p. 211). You are welcome to do problem 3 in addition (this was an example we did in class, but a nice write-up will receive some credit) and also welcome to do the harder problem 7, which I outlined an argument for in class, but which is rather tricky to write out accurately. You are also welcome to attempt problem 8, to which I am not sure I know the answer ;-) If you find yourself generally worried about how to write a proof...see me for guidance.

Homework 1 is due on Friday, Sept. 1.