Time Schedule:
Bob Alan Dumas
PHIL 401
Seattle Campus
A study of philosophical topics at the advanced level. Topics vary.
Class description
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
Recommended preparation
Class assignments and grading
