Skip to Main content Skip to Navigation

Contributions à l’étude algébrique et géométrique des structures et théories du premier ordre

Abstract : The notion of T-radical of an ideal allows G.Cherlin to prove a Nullstellensatz for inductive ring theories.We present here a model-theoretic analysis of closely related phenomena. At first, a reverse of this theorem leeds us to a characterization of algebraically closed fields, suggesting a “positive” version of Cherlin’s work, the theory of T-radical ideals. These are characterized by a representation theorem and associated to a “positive” Nullstellensatz. Those results are generalized to first order logic : thanks to the notion of special class, we then develop a logical theory of ideals. One may still speak about prime and radical ideals, relatively to a class of structures. In this setting, the representation theorem is an intrinsic property of special classes and the Nullstellensatz a logical preservation property, which we call “geometric completeness” and which is closely linked to positive model-completeness. The group-based algebras of P.Higgins allow us to apply these results to model-complete theories of fields with additional operators. In certain “noetherian” cases, the coordinate algebra is an algebraic invariant of “affine algebraic sets”. At last, it is possible from a set of formulas E to generalize special and other classes of structures. Moreover, our theory of logical ideals is a particular case of the localisation phenomenon studied by M.Coste ; in certain situations, a good choice of formulasleeds to an identification of the complete types of a given “algebra” with some localisation types
Document type :
Complete list of metadatas

Cited literature [60 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Thursday, April 21, 2011 - 8:59:05 AM
Last modification on : Wednesday, July 8, 2020 - 12:43:15 PM
Long-term archiving on: : Friday, July 22, 2011 - 2:41:08 AM


Version validated by the jury (STAR)


  • HAL Id : tel-00587634, version 1


Jean Berthet. Contributions à l’étude algébrique et géométrique des structures et théories du premier ordre. Mathématiques générales [math.GM]. Université Claude Bernard - Lyon I, 2010. Français. ⟨NNT : 2010LYO10266⟩. ⟨tel-00587634⟩



Record views


Files downloads