# Math 522, Advanced Set Theory, Fall 2017, Class Announcements Page

## Welcome

Welcome to the class. You should expect to find homework assignments and other important class announcements and links to class resources on this page. You should be in the habit of checking this page regularly; I will not necessarily say much about homework assignments in class -- this is the official place to find out about them!

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.

## Office Hours and other schedule information

My office hours will be stated on my office door card [link not ready yet] (which will also be attached to my office door), which also includes the times of my classes and seminars.

## The Text

This is your textbook. It will mutate as we go through the semester!

## The Marcel theorem prover

Here is the link where source and documentation for the Marcel theorem prover are found. I do not know if we'll use this in Math 522, but I leave the resource here.

Here is the lab manual.

## Week Thirteen

• 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!

## Midterm Takehome

The midterm takehome will be posted at the latest by 5 pm on the 21st and will be due in class one week from this coming Wednesday. Watch this space.

Here is the midterm takehome.

## Week Eight

• 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).

## Week Six

• 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.

## Week Four

• 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.

## Week Two

• 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!

## Week One

• 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.