M3011 - Set Theory and Mathematical Logic - 2013

Dr. R. Rosebrugh
Dunn 203

General Information

The course meeting time is 1:30-2:20MWF in Flemington 103. For official detail see the University Calendar. The very firm prerequisite for this course is Math/CS 2211. Office hours: 2:30-4:00 M, or by appointment.

Check this URL regularly for updated information about the course.


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


The midterm test will be held in class on October 23, 2013.


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.


The regular written assignments are an essential part of the course; they will be listed here as assigned. Short Assignments are due at the class after they are assigned and solutions will be discussed immediately, so clearly there are no extensions. The Long Assignments will have due dates about every two-three weeks. No extensions for Long Assignments except as agreed in advance for medical or compassionate reasons. Solutions will be provided for all assignments.
Be sure to attempt all problems in the text, not just the ones assigned to be handed in.

Short Assignments

S.1 1.7,1.9 Due: 9-12; S.2 1.15: 9-13; S.3 1.28 a), c): 9-16; S.4 1.32 c): 9-20; S.5 3.7: 10-2; S.6 3.17: 10-7; S.7 3.22: 10-21; S.8 2.47: 10-28; S.9 3.44: 11-1

Assignment L.1

From the text: 1.20, 1.30 a), c) (not the coseparator parts), 1.31 (b), 2.5, 2.8 Due September 27.

Assignment L.2

From the text: 2.10, 2.17, 2.21, 2.29 (c), 2.30, 2.40 a) Due October 9.

Assignment L.3

From the text: 3.16, 3.28, 3.30, 3.38
Due October 30

Assignment L.4

From the text: 3.40, 3.45 (Use Theorem 3.41!), 3.48 a), 4.3, 4.23
Due November 8