PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

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