Abstract
Nous isolons des propriétés valables dans certaines théories de purs corps ou de corps munis d’opérateurs afin de montrer qu’une théorie est simple lorsque les clôtures définissables et algébriques sont contrôlées par une théorie stable associée.
In this article, we mimic the proof of the simplicity of the theory ACFA of generic difference fields in order to provide a criterion, valid for certain theories of pure fields and fields equipped with operators, which shows that a complete theory is simple whenever its definable and algebraic closures are controlled by an underlying stable theory.
Citation
Thomas Blossier. Amador Martin-Pizarro. "Un critère simple." Notre Dame J. Formal Logic 60 (4) 639 - 663, November 2019. https://doi.org/10.1215/00294527-2019-0023
Information