Anuj Dawar: Preservation properties on well-behaved classes of finite structures
Among classical theorems of model theory, preservation theorems are
results that relate the syntactic form of formulas to semantic closure
properties of the structures they define. The status of preservation
theorems in the finite has been an active area of research in finite
model theory. More recent work in the area has shifted the focus from
the class of all finite structures to classes of structures satisfying
natural structural restrictions. In this talk I will examine various
such results relating to preservation under homomorphisms, extensions
and bisimulations.
Last modified: Tue Sep 12 17:12:17 CEST 2006