Artem Chernikov

Participating seminar: Topological Dynamics and Model Theory (MATH290D, UCLA, Fall 2016)

• Organizers
  Artem Chernikov and Andrew Marks
  
  
• Time and place
  Every Wednesday, 3:30 - 5:50pm
  MS 6221
  
  
• Description
  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.
  
• 
  Watch online
  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
  
• 
  References
  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.
  
  Additional material
  Introduction to stability theory, lecture notes by Artem Chernikov
  The dynamical hierarchy for Roelcke precompact Polish groups, by Tomás Ibarlucía
  
• 
  Links
  CCLE course page