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, ...

This paper gives a new and constructive proof of Poizat's theorem that the theory of algebraically closed fields admits elimination of imaginaries. The proof uses ideas of definability for properties ...