Math 89
Seminar in Logic (Set Theory)
Last updated June 24, 2010 10:49:58 EDT

### Syllabus

We will cover more or less Chapters 1-10 in the textbook.

The following is a slightly more detailed tentative syllabus for the course. This page will be updated irregularly.
On the other hand, the weekly syllabus contained in the Homework Assignments page should always be accurate, if incomplete.

Class is expected to meet on every day listed here. During most weeks we will meet three times; sometimes we will meet during the x-hour on Tuesday. Each week's schedule should be set by the end of the preceding week. For the first week, we will meet on Monday, Wednesday and Friday as indicated, but NOT on Saturday.

1/7 1.1-1.4 Sets.
1/9 2.1-2.3 Relations and functions.
1/11 2.4-2.5 Kinds of relations.
1/14 3.1-3.2 Natural numbers.
1/15 (x-hour) 3.1-3.2 Natural numbers.
1/16 3.3-3.4 Recursion and arithmetic.
1/18 3.5 Structures and first-order languages.
1/21   We will not meet today (MLK day).
1/22 (x-hour) 4.1 Cardinality and finite sets.
1/23 4.2-4.3 Finite and countable sets.
1/25 4.3 Countable sets.
1/25   Midterm I distributed today.
1/28 5.1 Cardinal arithmetic.
1/30 6.1-6.2 Ordinal numbers.
2/1 6.3 The Axiom of Replacement.
2/1   Midterm I due today.
2/4 6.4 Transfinite induction and recursion.
2/5 (x-hour) 6.5 Ordinal arithmetic.
2/6 6.5-6.6 Ordinal arithmetic and the normal form.
2/8   We will NOT meet today (winter carnival).
2/11 6.6 Normal form for ordinals.
2/13 7.1-7.2 Alephs.
2/15 8.1-8.2 The Axiom of Choice.
2/18 9.1 Cardinal arithmetic.
2/20 9.2 Cardinal exponentiation.
2/20   Midterm II distributed today.
2/22 9.3 Cardinal exponentiation.
2/25   TBA.
2/27   TBA.
2/27   Midterm II due today.
2/29   TBA.
3/3   TBA.
3/5   TBA.
3/7   TBA.

Marcia J. Groszek
Last updated June 24, 2010 10:49:58 EDT