Search | Directories | Reference Tools
UW Home > Discover UW > Student Guide > Course Catalog 

Instructor Class Description

Time Schedule:

Bob Alan Dumas
PHIL 401
Seattle Campus

Advanced Topics in Philosophy

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


The information above is intended to be helpful in choosing courses. Because the instructor may further develop his/her plans for this course, its characteristics are subject to change without notice. In most cases, the official course syllabus will be distributed on the first day of class.
Last Update by Beverly A Wessel
Date: 10/25/2011