Let *M* ⊆ *N* be an inclusion of structures, in the same signature. One says that *M* is **existentially closed** in *N* (sometimes denoted *M* ≤_{1} *N*) if for every existential formula and every tuple *a* from *M*, one has

The left-to-right direction is automatic, by general properties of existential formulas. So the real content here is that implies .

We can also describe existential closedness in terms of quantifier-free formulas: *M* is existentially closed in *N* if and only if for every quantifier-free formula , every tuple *a* from *M*, and every tuple *b* from *N*, if , then for some tuple *b'* from *M*. Equivalently

.

Since can be any existential formula, this is equivalent to the definition in terms of existential formulas.

Another way of paraphrasing this is: if some quantifier-free *M*-definable set has a point in *N*, then it has one in *M*.

If *M* is a model of a theory *T*, we say that *M* is **existentially closed** if *M* is existentially closed in every model of *T* extending *M*. This depends on the theory *T*, and is not a property of the structure *M* alone.

To some extent, one can think of "existential closedness" for models as generalizing the notion of "algebraic closedness" for fields. Indeed, if *T* is the theory of fields, the existentially closed models of *T* are exactly the algebraically closed fields (proven below).

A theory *T* is model complete if and only if all models are existentially closed. Equivalently, whenever *M* ⊆ *N* is an inclusion of models of *T*, *M* is existentially closed in *N*. There are several other characterizations of model completeness, and it turns out, for example, that any theory with quantifier elimination is model complete.

In checking model completeness, it turns out that one can restrict to the case of very simple formulas:

**Lemma:** Let *M* ⊆ *N* be an inclusion of structures. For *M* to be existentially closed in *N* it is sufficient (and obviously necessary) that the following condition holds:

- If is a finite list of atomic and negated-atomic formulas, and
*a*is a tuple from*M*, then

or equivalently,

.

Intuitively speaking, the are "equations" in the variables *y*, with "coefficients" *a* from *M*. We are saying that if a system of equations over *M* has a solution in *N*, then it has one in *M*.

*Proof:* Existential closedness means that for every existential formula and every tuple *a* from *M*,

.

The Lemma is saying that it suffices to check only the existential formulas of the form with a conjunction of atomic and negated atomic formulas.

Why does this suffice? Because of the following three easily-verified facts:

- If (*) holds for and , then it holds for .
- Every quantifier free formula can be written as a disjunction of conjunctions of possibly negated atomic formulas. This follows from the distributive law in boolean algebra.
- is logically equivalent to . In particular, we can pull disjunctions outside the quantifiers.

The second two facts imply that any existential formula is a disjunction of existential formulas of the form mentioned in the Lemma (disjunction-free existential formulas). The first bullet point allows us therefore to reduce to just checking those formulas. QED.

Let *S* be a subring of *R*. When is *S* existentially closed in *R*? By the Lemma above, a necessary and sufficient condition is that whenever is a posibly negated atomic formula for each *i*, and *s* is a tuple from *S*, we have

.

In the language of rings, the can only be of the form or , where is a polynomial in the variables *x* and *y*, with -coefficients.

In other words, *S* is existentially closed in *R* if and only if the following holds:

If a system of algebraic equations and inequations, with coefficients in *S*, has a solution in *R*, then it has a solution in *S*.

Here are some *non*-examples:

- The integers
**Z**are not existentially closed in the rationals**Q**. Indeed, the equation 2*x*= 1 has a solution in**Q**, but not in**Z**. - The rationals
**Q**are not existentially closed in the reals**R**because the equation*x*^{2}= 2 has a solution in**R**but not in**Q**. - Similarly, the reals are not existentially closed in
**C**, because -1 has a square root in**C**but not in**R**. - The integers
**Z**are not existentially closed in**Z**×**Z**, because the system of equations*u*^{2}=*u*,*u*≠ 0,*u*≠ 1 has a solution in**Z**×**Z**(namely, the element (1,0)), but does not have a solution in**Z**. - More generally, if
*S*⊆*R*,*S*is an integral domain, and*R*is not, then*S*is not existentially closed in*R', because the system*xy*= 0,*x*≠ 0,*y*≠ 0 has a solution in*R*, but not in*S*.* - If
*S*is a reduced ring (no nilpotents), and*R*is not, then*S*is not existentially closed in*R*, because the system*x*^{2}= 0,*x*≠ 0 has a solution in*R*, but not in*S*.

It is less trivial to produce actual examples:

**Theorem:** Let *K* be algebraically closed, and let *L* be an extension field. Then *L* is existentially closed in *K*. For example, the field of algebraic numbers is existentially closed in the field of complex numbers.

*Proof:* Given a system of equations over *K*, with a solution in *L*, we can safely replace all inequations with equations, by replacing

with

where *t* is a new dummy variable. This can be done safely, because *L* is a field. So we need to show that any system of equations over *K* which has a solution in *L* already has one in *K*.

Write the system as , where each is a polynomial over *K*. If this system has no solution in *K*, then by the Nullstellensatz, the polynomials generate the unit ideal (1) in the polynomial algebra . That is, there exist polynomials such that

.

This remains true after base changing to *L*, of course, and consequently no point with coordinates in *L* can be a simultaneous zero of all the 's. This contradicts the assumption that the system of equations had some solution in *L*. QED.

As an example "application" of this fact, we see that the theory of algebraically closed fields is model complete. Also,

**Corollary:** A field is existentially closed (as a field) if and only if it is algebraically closed.

*Proof:* By the Theorem, every algebraically closed field is existentially closed. Conversely, if *K* is a field that is not algebraically closed, then *K* is not existentially closed in its algebraic closure: some equation in one variable has a solution in the algebraic closure of *K*, but not in *K* itself. QED.

In general, a theory may have no existentially closed models. For example, let *T* be the theory of ordered sets (*M*,<) with the property that every element of *M* has a successor and a predecessor, i.e.,

Then *T* has models (for example, the integers with the usual order), but *T* has no existentially closed models. For if *M* is any model, and *a* and *b* are two consecutive elements in *M*, then we can make an extending model *N* by adding one new element between *a* and *b*. Then the system of equations *a* < *x* < *b* has a solution in *N* but not in *M*.

It turns out that the key problem with this theory is that it is not inductive.

**Theorem:** Let *T* be an inductive theory. Then every model of *T* can be embedded into an existentially closed model of *T*.

*Proof:* The rough idea is as follows: given a model *M*, if some system of equations over *M* has a solution in an extension of *M*, but doesn't have one in *M*, then add a solution. Repeat this enough, and *M* will eventually be existentially closed. This requires transfinite induction, so we need "inductive" to be able to handle the limit ordinals.

More formally, let us first prove

**Claim:** If *M* is a model of *T*, then we can make a model *N*_{1} of *T*, extending *M*, with the following property:

- If is a quantifier-free formula over
*M*, and*N*_{2</math> is a model of T extending N}1_{, then}

So roughly, any system of equations over *M* which has a solution in an extension of *N*_{1} already has a solution in *N*_{1}.

*Proof:* Let be an enumeration of all quantifier-free formulas over *M*. Build an ascending sequence of models for inductively as follows:

- If , take
- If is a limit ordinal, take . This is a model (of
*T*) because*T*is inductive. - Let be constructed as follows. If there is a model
*N*of*T*extending such that is non-empty, then take (for some arbitrary choice of*N*). Otherwise, take .

Let *N*_{1} be . Then *N*_{1} is a model of *T* extending *M*. It has the desired property. Indeed, suppose is a quantifier-free formula over *M*, *N*_{2} is a model extending *N*_{1}, and suppose that

Because we enumerated all the quantifier-free formulas over *M*, is for some . Now

and is non-empty. Therefore, by choice of , we also have

So

Thus

.

QED_{claim}.

Now given a model *M* of *T*, build an increasing sequence *M*_{1} ⊆ *M*_{2} ⊆ ... of models as follows:

*M*_{1}=*M**M*is obtained by applying the Claim to_{i+1}*M*. In particular, if some existential sentence over_{i}*M*holds in an extension of_{i}*M*, then it holds in_{i+1}*M*._{i+1}

Let *N* be the union of this chain. This is still a model, because *T* is inductive. We claim that *N* is existentially closed. Indeed, let *N*_{2} be a model extending *N*. Let be a quantifier-free formula over *N*, satisfiable in *N*_{2}. The tuple *a* is finite, so must come from some *M _{i}*. Then

The first implication follows from the choice of *M*_{i+1}. The second implication follows from general facts about existential formulas (they are preserved upwards in inclusions). So *N* is existentially closed in *N*_{2}. In conclusion, *N* is an existentially closed model of *T*, and it extends the original model *M*. QED. ::: ::: :::