# Theory of Algebraically Closed Fields of Characteristic p is Complete

Jump to navigation
Jump to search

This article needs to be linked to other articles.In particular: finite model, satisfiable. Also the result proving $ACF_p$ is satisfiable is stated but not linked to a proof.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{MissingLinks}}` from the code. |

## Theorem

Let $p$ be either $0$ or a prime number.

Let $ACF_p$ be the theory of algebraically closed fields of characteristic $p$ in the language $\LL_r = \set {0, 1, +, -, \cdot}$ for rings, where:

- $0, 1$ are constants

and:

- $+, -, \cdot$ are binary functions.

Then $ACF_p$ is complete.

## Proof

By the Łoś-Vaught Test, it suffices to show that $ACF_p$ is satisfiable, has no finite models, and is $\kappa$-categorical for some uncountable $\kappa$.

### Satisfiability

$\C$ is an algebraically closed field of characteristic $0$.

If $p$ is a prime, then the algebraic closure of $\Z / \Z_p$ is an algebraically closed field of characteristic $p$.

Thus $ACF_p$ is satisfiable.

This article, or a section of it, needs explaining.In particular: Needs to be made clear why what is above leads to that statement.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Explain}}` from the code. |

$\Box$

### No Finite Models

From Algebraically Closed Field is Infinite:

$ACF_p$ has no finite models

$\Box$

### $\kappa$-Categorical

From:

and:

it follows that:

- $ACF_p$ is $\kappa$-categorical for all uncountable $\kappa$

Hence:

- $ACF_p$ is $\kappa$-categorical for some uncountable $\kappa$

as was to be proved.

$\blacksquare$