EQUATIONAL THEORIES OF FIELDS
Résumé
A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition. Equationality is a strengthening of stability. In this short note, we prove that theory of proper extension of algebraically closed fields of some fixed characteristic is equational.
Domaines
Logique [math.LO]
Origine : Fichiers produits par l'(les) auteur(s)