Math 430 Fall 2008 Final Project.
Format:
The final project consists of a series of lemmas that add up to the proof of the compactness theorem for first-order logic, similar but not identical to the proof in Chapter 6 of our textbook.
You will be assigned one or two of these lemmas.
You will have two weeks to prove these and write your solutions beautifully.
During our 2-hour final exam slot on December 11th, you will present your solution to everyone, so that during those two hours we will prove the compactness theorem.
Grading:
A poor final project will lower your course grade by one letter. A satisfactory final project will drop your A to a B, and otherwise leave your course grade unchanged. An excellent final project will raise your course grade by one letter, and is required for an A.
Lemmas an assignments, coming soon.