Series: Penn State Logic Seminar Date: Tuesday, February 1, 2005 Time: 2:30 - 3:45 PM Place: 103 Pond Laboratory Speaker: John Clemens, Penn State, Mathematics Title: The Extension Property for Partial Automorphisms, part 1 Abstract: I will begin sketching the proof of the theorem of Herwig and Lascar discussed in last week's seminar, namely: If T is a finite set of finite L-structures, where L is a finite relational language, then the class of T-free L-structures has the Extension Property for Partial Automorphisms.