In his influential paper "Tameness in expansions of the real field" from the early 2000s, Chris Miller wrote:

"What might it mean for a first-order expansion of the field of real numbers to be tame or well behaved? In recent years, much attention has been paid by model theorists and real-analytic geometers to the o-minimal setting:

expansions of the real field in which every definable set has finitely many connected components. But there are expansions of the real field that define sets with infinitely many connected components, yet are tame in some well-defined sense [...]. The analysis of such structures often requires a mixture of model-theoretic, analytic-geometric and descriptive set-theoretic techniques. An underlying idea is that first-order definability, in combination with the field structure, can be used as a tool for determining how complicated is a given set of real numbers."

Much progress has been made since then (and in no small at an earlier thematic program at the Fields Institute). In this lecture series I will present an updated and yet still introductory account of this research program. This series is a natural continuation of Miller course on "Tame control theory". While participation in Miller's course is not a prerequisite, it is strongly recommended.