Math 564 is a graduate course on model theory. I am teaching it in Fall 2004.
The textbook is Model Theory: An Introduction, by David Marker, Springer-Verlag, Graduate Texts in Mathematics, 2002.
A course announcement is here in several formats: PS, PDF, DVI.
Also of interest is the Penn State Logic Seminar.
Note: In Exercise 1.4.5, a tree is defined to be a partial ordering with a least element, in which the predecessors of each element are linearly ordered.
email@example.com / 15 November 2004