Clôture algébrique par la théorie des modèles (comment je me suis fait expliquer)

In this video, we present an application of model theory to the proof of the existence of an algebraic closure for any field. It is indeed interesting to see how this theory, which can be viewed as a "theory of theories," allows us to provide proofs, in this case, in field theory. A huge thank you to André Guihéneuf who sent me the link to the PDF! https://tadamski.perso.math.cnrs.fr/e... Michel Lafitte very rightly points out that towards the end, the union of the Li is not disjoint since it is nested!