Math 89
Seminar in Logic (Set Theory)
Last updated May 31, 2008 12:24:47 EDT
Homework Assigments
Discussion questions are always due the following class day.
There are no more regular homework assignments. The second midterm is due on Wednesday, February 22, at the beginning of class. For students who arranged to begin the exam later, the due date is the beginning of class one week after receiving the exam.
A final project proposal should be submitted before Monday, February 20. Oral presentations will be scheduled during the last two weeks of class. Papers are due by noon on Tuesday, March 14; optional first drafts should be submitted by Wednesday, March 1, in order to get feedback. If you are writing a paper and would like to review a first draft with Ms. Whittington, the math department writing specialist, please make an appointment with her, allowing enough time to get a first draft to her a couple of days before your appointment.
Week of February 6  February 10, 2006 
(Written Homework due Monday, February 13)

Assignments Made on: 
Monday:
 Review: Chapter 8, section 1.
 Read: Chapter 10, section 1.
 Prepare to discuss: Your questions on the reading.
 Write up: Chapter 10, exercise 1.2.

Tuesday:
 Review: Chapter 10, section 1.
 Read: Chapter 10, section 2.
 Prepare to discuss: Chapter 10, exercise 2.1.
 Write up: Chapter 10, exercise 2.1.

Wednesday:
 Review: Chapter 10, section 2.
 Read: Chapter 4, sections 4 and 5.
 Prepare to discuss: Your questions on the reading.
 Write up: Chapter 4, exercise 5.4.

Week of January 30  February 3, 2006 
(Written Homework due Monday, February 6)

Assignments Made on: 
Monday:
 Write up: Exam due Wednesday.

Tuesday:
 Write up: Exam due Wednesday.

Wednesday:
 Read: Chapter 6.
 Prepare to discuss: An algorithm for multiplying ordinals in normal form.
 Write up: Chapter 6, exercises 5.5 and 5.13.

Friday:
 Review: Chapter 6.
 Read: Chapter 8, section 1.
 Write up: Chapter 8, exercises 1.8 and 1.10.

Week of January 23  January 27, 2006 
(EXAM due Wednesday, February 1)

Assignments Made on: 
Monday:
 Review: Chapter 4, section 3.
 Prepare to discuss: Any questions you have.
 Write up: No written homework.

Tuesday:
 Read: Chapter 5, section 1.
 Prepare to discuss: Questions from Chapter 5, section 1.
 Write up: No new written homework from today.

Wednesday:
 Read: Chapter 6, sections 1 and 2.
 Prepare to discuss: Chapter 6, exercises 1.8 and 2.8.
 Write up: EXAM due next Wednesday.

Friday:
 Write up: No new written homework from today.

Week of January 17  January 20, 2006 
(Written Homework due Wednesday, January 25)

Assignments Made on: 
Tuesday:
 Review: Chapter 3, sections 3 and 4.
 Read: Chapter 4, sections 1 and 2.
 Prepare to discuss: Chapter 4, exercises 1.5 and 1.6.
 Write up: Chapter 4, exercise 1.7 and the problem found here.

Friday:
 Review: Chapter 4, sections 1 and 2.
 Read: Chapter 4, section 3.
 Prepare to discuss: Any questions on Chapter 4, section 2.
 Write up: Chapter 4, exercises 3.6 and 3.10.

Week of January 9  January 13, 2006 
(Written Homework due Tuesday, January 17)

Assignments Made on: 
Monday:
 Review: Chapter 2, sections 1, 2 and 3.
 Read: The rest of Chapter 2.
 Prepare to discuss: Any questions you have.
 Write up: Chapter 2, exercises 4.2 and 5.10.

Tuesday:
 Review: Chapter 2.
 Read: Chapter 3, sections 1 and 2.
 Prepare to discuss: Chapter 3, exercise 2.10.
 Write up: No new written homework from today.

Wednesday:
 Review: Chapter 3, sections 1 and 2.
 Read: No new reading assignment.
 Prepare to discuss: Your questions.
 Write up: Chapter 3, exercise 2.7.

Friday:
 Read: Chapter 3, sections 3 and 4, including the exercises. Optional: Chapter 3, section 5.
 Prepare to discuss: Chapter 3, exercises 4.2, 4.3 and 4.8.
 Write up: Chapter 3, exercise 3.2.

Week of January 4  January 6, 2006 
(Written Homework due Monday, January 9)

Assignments Made on: 
Wednesday:
 Read: Chapter 1.
 Prepare to discuss: Chapter 1, exercise 3.7. If you can, rather than just doing the exercise, state and prove a metatheorem from which the result of the exercise follows. (By a metatheorem, I mean a result that follows from the axioms, but that cannot be phrased as a theorem in the language of set theory. For example, any theorem including the phrase "For any property of sets P(x)" is a metatheorem. Such a theorem cannot be phrased as a theorem in the language of set theory, because we cannot say "for every property" in our language.) If you can do this much, your metatheorem should lead to a theorem schema (in the same sense that the Axiom of Comprehension is an axiom schema). Be as precise as possible about this theorem schema.
Also be prepared to ask any questions you have about Chapter 1.
 Write up: Class questionnaire (for Friday.)

Friday:
 Review: Chapter 1.
 Read: Chapter 2, sections 1, 2 and 3. We will not continue through the textbook at this pace; most of this material should be largely background, which we need to read to establish a common vocabulary.
 Prepare to discuss: Chapter 2, exercises 1.1, 2.1 and 2.5.
 Write up: Chapter 1, exercises 3.6 (explain why this shows there is no set of all sets), 4.4 and 4.6.

Saturday:
 NO CLASS ON SATURDAY. We will make this up with an xhour, perhaps next week.

Marcia J. Groszek
Last updated May 31, 2008 12:24:47 EDT