More data is being created by more people and more devices in more locations under more regulatory requirements than at any time in the past. Estimates from IBM suggest that 2.5 quintillion bytes of ...

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