Participating seminar: Topological
Dynamics and Model Theory (MATH290D, UCLA, Fall 2016)
Artem Chernikov and Andrew Marks
- Time and place
Every Wednesday, 3:30 - 5:50pm
We will concentrate on connections between model theory and topological dynamics, in the context of the automorphism groups of omega-categorical continuous structures. The main reference is "Weakly almost periodic functions, model-theoretic stability, and minimality of topological groups" by I. Ben Yaacov and T. Tsankov. Before reading it, we will first discuss continuous logic following "Model theory for metric structures" by I. Ben Yaacov, A. Berenstein, C. W. Henson, and A. Usvyatsov.
The talks are streamed on-line at [link], you will need Google Hangouts to watch.
Schedule of the talks
Sep 28 - Organizational meeting + introduction, by Artem Chernikov [notes]
Oct 5 - Introduction to continuous logic + compactness, by Madeline Barnicle
Oct 12 - Spaces of types in continuous logic, by Tyler Arant
Oct 19 - Spaces of types in continuous logic (continued), by Tyler Arant [notes]
Oct 26 - Omitting types and omega-categoricity in continuous logic, by Thomas Gilton
Nov 2 - Stability in continuous logic, by Alex Mennen
Nov 9 - Examples of continuous theories, by Riley Thornton
Nov 16 - Omega-categoricity and Roelcke precompact Polish groups, by Anton Bobkov
Nov 30 - Stability and WAP compactification, by Artem Chernikov
Model theory for metric structures by Itaï Ben Yaacov, Alexander Berenstein, C. Ward Henson, and Alexander Usvyatsov.
Weakly almost periodic functions, model-theoretic stability, and minimality of topological groups by Itaï Ben Yaacov and Todor Tsankov.
Introduction to stability theory, lecture notes by Artem Chernikov
The dynamical hierarchy for Roelcke precompact Polish
groups, by Tomás Ibarlucía
CCLE course page