For more information about this meeting, contact Jan Reimann, Stephen Simpson.
|Title:||Definability in Dynamical Systems|
|Speaker:||Henry Towsner, UCLA|
|The Furstenberg correspondence principle relates statements about finitary combinatorics to statements about (infinitary) dynamical systems. When we view this correspondence as a property of formulas in a suitable language, we discover that deep results of combinatorics, like the Szemeredi Regularity Lemma, correspond to logical statements about definability. We'll discuss a general approach to the correspondence principle and describe the interesting logical features of the models we obtain, and how we can use those features to derive combinatorial results.|
Room Reservation Information
|Date:||03 / 22 / 2011|
|Time:||02:30pm - 03:45pm|