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


  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.