Existentially closed model
= Existentially closed model
{wiki=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.