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.

Grades

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.