Math 502, Fall 2006: Information and Policies

Link to class schedule


M. Randall Holmes


We meet in MG 124 Monday, Wednesday and Friday, from 9:40 am to 10:30 am.

Office and Hours:

Office: Math/Geology 240A. Hours: To be determined after consulting you all. See ``open office policy'' below.


My office telephone number is 6-3011 (426-3011 from off-campus). My home telephone number is 345-2899: students are welcome to call me but please no calls after 8:30 pm any day or between 6 pm Friday and noon Sunday.

Electronic Information:

WWW (web page):

I read my e-mail constantly and respond promptly. An electronic version of the syllabus, which will include homework assignments, will be accessible from my web page. The electronic version is the official syllabus, and any changes will be posted there and not distributed on paper.  Please note that this document was obtained by editing the fall 2006 syllabus of my other course (which was in turn edited from the summer document of that course); please call any editing errors caused by this to my attention.

Title of Course:

Math 502: Logic and Set Theory. This is section 001. This is the first time that this graduate level course has been offered.   Please be aware that as I have no experience of teaching this course (and there is no institutional experience) everything in this syllabus is subject to change…  The catalog text for the course follows:


           Math 502 Logic and Set Theory (3-0-3)(S)(even-numbered years). This course is structured as three 5-week components: formal logic, set theory, and topics to be determined by the instructor. The logic component will include: formalization of language and proof, the completeness theorem, the Lowenheim-Skolem Theorem. The set theory component will include: cardinality, Cantor's theorem, well-orderings, ordinals, the transfinite recursion theorem, the Axiom of Choice and its equivalents. PREREQ: Math 314.



Ebbinghaus, Flum, and Thomas, Mathematical Logic, second edition:  this should be at the bookstore.  Goldrei, Derek, Classic Set Theory for Guided Independent Study, is out of print but used copies are available on Amazon and similar places.  We will not be using this book for a while so there will be time to get copies. Goldrei has another book with a similar title, so don’t be confused:  the ISBN for this one is 0-412-60610-0.


The add deadline (and deadline for dropping without a W) is September 1. The drop deadline is October 2. Petitions to drop classes after this date are usually unsuccessful. Dates for in-class exams are currently set to be September 15, October 6, October 27, December 1 (as in my other class), but this may change depending on how the course goes (I might give fewer exams). All exams are on Fridays. The final exam will be Monday, December 11, 2006, 10:30 am-12:30 pm, in our regular room.



This is my standard language about calculators which may be irrelevant to this particular course!  We may sometimes have occasion to use calculators in class. Use of a plain scientific calculator (without graphing or symbolic computation capabilities) will be allowed on tests. Make sure you have such a calculator if you want to use a calculator on tests. You may not use cell phones or PDAs (such as Palm Pilots or Pocket PC's) as calculators during any exam. No exceptions will be made. 


Homework will be assigned from time to time and makes a substantial contribution to your grade.  Homework assignments are due one week after the date at which they are posted in the online schedule, unless I specifically note otherwise, to give you plenty of time to consult me if you need to.  Your homework should be your own work.  There may be computer exercises assigned as homework:  in this case there will be instruction on how to use the software and you will be provided with computer accounts.


How Your Course Grade Will Be Computed:

I expect to give four in-class exams this term and the final (provisionally:  I may decide to give fewer exams depending on how things go). There will not be review days for exams or for the final, though I will be willing to take questions about exams during the usual time for homework discussion (within reason).   Each exam is worth 100 points.  Your total homework grade will count as one or two exams (I’ll make this decision at the end). The final counts 200 points; your percentage grade on the final may replace the lowest of the other exam grades (not the homework) if this helps you. 90 or above is an A; 80 or above is a B; 70 or above is a C; 60 or above is a D; lower grades are F (after any scaling).  I may occasionally use the new +/- grading, but only in borderline cases; you should not expect to get such a grade.

Eligibility for this Class:

No exceptions will be made. If the computer tells me that you don't meet prerequisite or placement exam standards for this course, I will free your seat for someone who does meet them (in fact, the office staff now does this before it even comes to my attention).


Attendance will not be taken except on the first two days. If you do not attend this class on at least one of the first two days, I will exercise my option to have you administratively withdrawn (though not until after the third day of classes).

Open Office Policy:

My office hours for these classes are to be announced. I will almost always be in my office at the officially scheduled times, and I will try to warn you when I will not be. If I am in my office during a posted office hour, I am available to help you. Don't assume that these are the only times when you can get help! I am never offended by a student asking me for help if I am in the office (though I may help only briefly if I am very busy).  I will not be on campus at all on Fridays.

Late Work and Makeups:

Makeups for exams will be possible, and should if possible be arranged in advance of your absence.  Homework handed in late will probably be accepted though I may choose to penalize it (or not) at my entire discretion in each individual case (better to turn it in on time!)

Academic Honesty:

The penalty for cheating (defined as looking at another student's paper or unauthorized use of books or notes during an exam) will be a grade of zero (0) on the relevant exam. A repeat offense will mean an F in the course.   Similar remarks apply if your homework is not your own original work.

Courtesy Issues:

Cellular phones must be turned off during class. If there is a good reason that you must await a phone call during class, please inform me in advance and minimize the disruption by sitting near an exit. Cell phones must be turned off (no exceptions whatsoever) during an exam. You do not need to contact me if you are missing class or if you need to arrive late or leave early; but I do need you to enter or leave the class quietly in either case. Of course, you do need to contact me, preferably in advance, if you are missing an exam.


The word ``yesterday'' is defined to mean the previous class session; the word ``tomorrow'' is defined to mean the next class session, unless I specifically say otherwise :-)