Article Dans Une Revue Notre Dame Journal of Formal Logic Année : 2019

Un critère simple

Résumé

In this short note, 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.

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.

Fichier principal
Vignette du fichier
simple.pdf (489.62 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-01485675 , version 1 (09-03-2017)
hal-01485675 , version 2 (26-04-2017)
hal-01485675 , version 3 (14-12-2017)
hal-01485675 , version 4 (25-06-2018)
hal-01485675 , version 5 (09-07-2018)

Licence

Identifiants

Citer

Thomas Blossier, Amador Martin-Pizarro. Un critère simple. Notre Dame Journal of Formal Logic, 2019, 60 (4), pp.639--663. ⟨10.1215/00294527-2019-0023⟩. ⟨hal-01485675v5⟩
976 Consultations
535 Téléchargements

Altmetric

Partager

  • More