Ax–Grothendieck theorem (source code)

= Ax–Grothendieck theorem
{wiki=Ax–Grothendieck_theorem}

The Ax-Grothendieck theorem is a significant result in model theory and algebraic geometry, particularly concerning the fields of algebraically closed fields and definable sets. It can be seen as a bridge between geometric properties of algebraic varieties and logical properties of the corresponding definable sets.