EQUATIONAL THEORIES OF FIELDS - Institut Camille Jordan Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2017

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.
Fichier principal
Vignette du fichier
equationalityarxiv.pdf (172.88 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01471225 , version 1 (19-02-2017)

Licence

Paternité - Pas de modifications

Identifiants

  • HAL Id : hal-01471225 , version 1

Citer

Amador Martin-Pizarro, Martin Ziegler. EQUATIONAL THEORIES OF FIELDS. 2017. ⟨hal-01471225⟩
251 Consultations
176 Téléchargements

Partager

Gmail Facebook X LinkedIn More