Idéaux et types sur les corps séparablement clos
Corps équivalents à leur corps de séries
Types localement isolés et théorème des deux cardinaux dans les théories stables dénombrables
Types sur
Indécidabilité de la théorie des anneaux de séries formelles à plusieurs indéterminées
Corps -minimaux, en l’honneur de François Lucas
La classe des constructibles de la géométrie algébrique est close par projection. La théorie des modèles exprime ce fait en disant que les corps algébriquement clos éliminent les quantificateurs dans le langage des anneaux. De façon analogue, les corps algébriquement clos non trivialement valués éliminent les quantificateurs dans le langage des anneaux enrichi de la relation dite de divisibilité . Cela implique en particulier la « -minimalité » : une partie définissable d’un corps algébriquement...
Introduction
Ordered fields and the ultrafilter theorem
We prove that on the basis of ZF the ultrafilter theorem and the theorem of Artin-Schreier are equivalent. The latter says that every formally real field admits a total order.
Page 1