 Existentially closed model

In model theory, a branch of mathematical logic, an **existentially closed model** is a particular type of model that satisfies certain properties with respect to existential statements in a given theory.