Abstract Let T be an NIP ${\cal L}$ -theory and $\mathop T\limits^\~ $ be an enrichment. We give a sufficient condition on $\mathop T\limits^\~$ for the underlying ${\cal L}$ -type of any definable (respectively invariant) type over a model of $\mathop T\limits^\~$ to be definable (respectively invariant). These results are then applied to Scanlon’s model completion of valued differential fields.

In 2011, Rideau and Winskel introduced concurrent games and strategies as event structures, generalizing prior work on causal formulations of games. In this paper we give a detailed, self-contained and slightly-updated account of the results of Rideau and Winskel: a notion of pre-strategy based on event structures; a characterisation of those pre-strategies (deemed strategies) which are preserved by composition with a copycat strategy; and the construction of a bicategory of these strategies. Furthermore, we prove that the corresponding category has a compact closed structure, and hence forms the basis for the semantics of concurrent higher-order computation.

A bi category of very general nondeterministic concurrent games and strategies is presented. The intention is to formalize distributed games in which both Player (or a team of players) and Opponent (or a team of opponents) can interact in highly distributed fashion, without, for instance, enforcing that their moves alternate.