Discuter:Élimination des quantificateurs

Un article de Wikipédia, l'encyclopédie libre.

	Élimination des quantificateurs fait partie du projet Mathématiques, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés aux mathématiques. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet, où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail Mathématiques pourrait aussi vous intéresser.
Ébauche	Cet article a été classé comme d'Avancement ébauche selon le Tableau d'évaluation du projet. (Voir les statistiques)
À évaluer	Cet article a été classé comme d'Importance ? selon le Tableau d'évaluation du projet.

Pas mal de choses à ajouter(je m'en chargerai peut-être un de ces jours) : notamment comment montrer qu'une théorie admet l'élimination de quantificateurs(le critère simple avec les sous-structures).

Il faudrait aussi donner un tas d'exemples de théories admettant l'élimination des quantificateurs(corps algébriquement clos par exemple), ainsi que les applications usuelles : théories syntaxiquement complètes(corps algébriquement clos de caractéristique finie ou nulle), critère de Lipschitz, théorème d'Ax...