Bob Alan Dumas
A study of philosophical topics at the advanced level. Topics vary.
Model theory is the study of the expressive power of first-order logic, and the deep structural consequences of this expressive power. We cover Tarski Semantics, first-order definability, compactness, Lowenheim-Skolem theorems, quantifier elimination, saturated structures, ultraproducts. If time permits we will also discuss foundational questions and the solution to Hilbertís 10th problem. We will have a midterm and either a final problem set or a final paper (students choice). TEXT: Model Theory: An Introduction, David Marker. Springer 2002.
Student learning goals
General method of instruction
Class assignments and grading