Math 89
Seminar in Logic (Set Theory)
Last updated May 31, 2008 12:24:47 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 Wednesday and Friday as indicated, but NOT on Saturday.

1/4 1.1-1.4 Sets.
1/6 2.1-2.3 Relations and functions.
1/7 No class today (Saturday).
1/9 2.4-2.5 Kinds of relations.
1/10 (x-hour) 3.1-3.2 Natural numbers.
1/11 3.1-3.2 Natural numbers.
1/13 3.3-3.4 Recursion and arithmetic.
1/16   No class today; MLK day.
1/17 (x-hour) 4.1-4.2 Cardinality and finite sets.
1/18   Class cancelled.
1/20 4.2-4.3 Finite and countable sets.
1/23 4.3 Countable sets.
1/24 (x-hour) 5.1 Cardinal arithmetic.
1/25 6.1-6.2 Ordinal numbers.
1/27 6.3 The Axiom of Replacement.
1/30 6.4 Transfinite induction and recursion.
1/31 (x-hour) 6.5 Ordinal arithmetic.
2/1 6.5-6.6 Ordinal arithmetic and the normal form.
2/3 8.1 The axiom of choice.
2/6 10.1 Integers and rational numbers.
2/7 (x-hour) 10.2 Real numbers.
2/8 10.2, 4.4-4.5 Real numbers and linear orderings.
2/10   No class today; winter carnival.
2/13 10.3 The real number line.
2/15 10.4 Sets of real numbers.
2/17 9.1 Cardinal arithmetic.
2/20 9.2 Cardinal exponentiation.
2/22 9.3 Cardinal exponentiation.
2/24 TBA TBA.
2/27 TBA TBA.
3/1 TBA TBA.
3/3 TBA TBA.
3/6 TBA TBA.
3/8 TBA TBA.

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