Topological dynamics and the complexity of strong types (Q1618143)

\textit{L. Newelski} [J. Symb. Log. 74, No. 1, 50--72 (2009; Zbl 1173.03031)] introduced the idea of using tools and ideas from topological dynamics for the study of groups definable in first order structures. The over-arching idea is that some of the language, results, and ideas from topological dynamics allow one to discuss new phenomena in various model-theoretic objects, potentially leading to new questions and results. The genesis of the work here is that topological dynamics seems particularly useful in taking various connected components of a given definable group computed in a big `monster' model. These ideas are used to, for example describe the complexity of bounded, invariant equivalence relations, subsuming and extending the existing results and answering some open questions.