Ian Hodkinson:


                Aspects of the finite base/model property


                                 Abstract


Since Nemeti proved in 1987 that WA has the finite algebra property, 
several more results for related classes of algebras and fragments of 
first-order logic have been proved, including by Andreka and Nemeti. 
A combinatorial theorem of Herwig has been central to recent 
progress, and recently this theorem has been strengthened.  I will 
describe some of the ideas and history of this area of research.