Topological dynamics and definable groups occupy an influential niche in contemporary mathematics, interweaving the abstract framework of group actions with the nuanced language of model theory. This ...
A pointwise definable model is one in which every object is definable without parameters. In a model of set theory, this property strengthens V = HOD, but is not first-order expressible. Nevertheless, ...