For more information about this meeting, contact Jan Reimann, Stephen Simpson.
| Title: | Definability in Dynamical Systems |
|---|
| Seminar: | Logic Seminar |
|---|
| Speaker: | Henry Towsner, UCLA |
|---|
| Abstract: |
|---|
| 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
| Room Number: | MB315 |
|---|
| Date: | 03 / 22 / 2011 |
|---|
| Time: | 02:30pm - 03:45pm |
|---|
