Translator Disclaimer
November 2019 Un critère simple
Thomas Blossier, Amador Martin-Pizarro
Notre Dame J. Formal Logic 60(4): 639-663 (November 2019). DOI: 10.1215/00294527-2019-0023

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

Download 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

Received: 1 May 2017; Accepted: 29 June 2018; Published: November 2019
First available in Project Euclid: 21 September 2019

zbMATH: 07167761
MathSciNet: MR4019865
Digital Object Identifier: 10.1215/00294527-2019-0023

Subjects:
Primary: 03C45
Secondary: 12H05, 12H10

Rights: Copyright © 2019 University of Notre Dame

JOURNAL ARTICLE
25 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.60 • No. 4 • November 2019
Back to Top