## M3011 - Set Theory and Mathematical Logic - 2009

Dr. R. Rosebrugh
Dunn 203

#### General Information

The course meeting time is 11:30-12:20MWF in Dunn 108. For official detail see the University Calendar. The prerequisite for this course is Math 2211. Office hours: by appointment.

Check this URL regularly for information about the course.

#### Text

Sets for Mathematics . F. William Lawvere and Robert Rosebrugh. We will cover Chapters 1-7, parts of Chapters 8, 9, 10 and of the Appendices.

#### Test

The midterm test will be held in class on October 21, 2009.

The final grade will be based on the assignments, the mid-term test and a final examination. The weights will be approximately 20%, 20% and 60% respectively.

#### Assignments

The regular written assignments are an essential part of the course; they will be listed here as assigned.
Be sure to attempt all problems in the text, not just the ones assigned to be handed in.

#### Assignment 1

1.15, 1.28(a),(b), 1.30(a),(c) (not the coseparator parts)
Due September 18.
Be sure to attempt all problems in the text, not just the ones assigned to be handed in.

#### Assignment 2

From the text: 1.31, 2.10, 2.12 (tricky), 2.14, 2.40 a), b)
Due September 30

#### Assignment 3

From the text: 2.23; 2.29 (c), (d); 2.38, 2.45 (b) (this requires considering 2.43, 2.44)
Due October 9

#### Assignment 4

From the text: 3.17, 3.22, 3.31, 3.34, 3.38, 3.40
Due October 19

#### Assignment 5

From the text: 3.46 (a), 3.48 (a) - you may do this for X = 2 only ( and recall 2.45 b), 3.52, 4.2 (the question should read "...colimit of data for a data type"), 4.7.
Due October 30

#### Assignment 6

From the text: 4.18, 4.27, 4.40, 4.52 (you need first to characterize epis in S/X - you may take X = 2), 5.1

Due November 9

#### Assignment 7

From the text: 5.3 5.15 6.2 6.6 6.12 c) - you may assume 6.12 a)

Due November 20

#### Assignment 8

From the text: 6.13, 7.9, 7.17, 7.20 (you may assume the distributive law for S), 8.1

Due December 2.