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 analyzes Bayesian normal form games in which players write contracts that condition their actions on the contracts of other players. These contracts are required to be representable in a ...