In general terms, the best way to reach me is by email. `holmes@math.boisestate.edu` will reach me; replies will come from `rholmes@boisestate.edu` (and of course you can use that address too). I read my email constantly (on weekends too) and try to respond reasonably promptly.

Here is the math department catalog language about the course:

MATH 502 LOGIC AND SET THEORY (3-0-3)(S). Structured as three five-week components: formal logic, set theory, and topics to be determined by the instructor. The logic component includes formalization of language and proofs, the completeness theorem, and the Lowenheim-Skolem theorem. The set theory component includes orderings, ordinals, the transfinite recursion theorem, and the Axiom of Choice and some of its equivalents. PREREQ: MATH 314.

We meet in Mathematics room 124 TTh from 12 pm to 1:15 pm.

Our "final exam" (it will actually be the last hour exam) will be on Tuesday May 2, 12:30--2:30 pm in this room.

The text is a set of notes which I wrote and maintain here. These notes are a work in progress, and they are likely to develop further as we use them. We are not going to cover all the topics!

There will be some computer labs in this class using my Marcel logic software. I am hoping that everyone has a laptop or tablet they can use in class; I will provide assistance with installing the software.

Problem sets due after an exam **are** fair game for that exam if they were assigned two sessions before the exam, so that you had a chance to ask questions. (Such a problem set will probably have been assigned on the Thursday before the exam, which is likely to be on Thursday, and will be due on the Tuesday after the exam; I do not make homework due at exams). I will **not** usually describe homework sets in class: make sure that you look on the class announcements page regularly!!!

Your total homework grade will count as one test grade. I am planning to give four hour exams, the last one to be held in the final exam period. Dates are to be announced. The weights of the hour exams and the homework grade will be the same; the lowest of these grades will probably be dropped or reduced in weight. Adjustments of this scheme are possible: for example the weight of the homework might be increased to two tests if I thought this helpful.

Individual exams will generally be marked in such a way that the average or median is somewhere around 75 percent (it may be above this if you all do well, or below it if I have a low opinion of class performance). 90 = A, 80 = B, 70 = C, 60 = D. 50 = F as usual. I do not award grades of A+ or C- under any circumstances. I only award the other +/- grades under special circumstances: no point total earns such a grade and I will not negotiate such a grade. You should expect that your grade will be an unqualified letter.

On hour exams you are allowed the use of your writing instrument and your test paper. I will supply scratch paper if it is needed.

Please ensure that your cell phone does not ring in class. Your cell phone must be inaccessible to you during an exam.

You may not listen to a portable music player during an exam. This is self-evident, but I once had a fight with a student about it, so I always say it!